Haskell is a good start. But it's type system can't even express sets. | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

eru on Nov 23, 2010 | parent | context | favorite | on: Mathematics for Computer Science

Haskell is a good start. But it's type system can't even express sets.

thesz on Nov 24, 2010 [–]

HList? http://hackage.haskell.org/package/HList

http://hackage.haskell.org/packages/archive/HList/0.2.3/doc/... checks for element occurencies. Records has HasLabel predicate. You can find more examples like that there.

eru on Nov 24, 2010 | [–]

Does HList take O(n) to check if an element is a duplicate?

thesz on Nov 25, 2010 | | [–]

At compile time, I guess.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact