News for hackers. Stuff that matters.

A comment on Mathematics for Computer Science. Parent comment

Re:Mathematics for Computer Science by kwantam on Tuesday November 23, 2010 @04:59PM (#1935551) 

     > and the languages you write them in
Unless that language is Haskell, of course :)

http://en.wikibooks.org/wiki/Haskell/Category_theory

[ Parent | on HN ]
Re:Mathematics for Computer Science by eru on Tuesday November 23, 2010 @05:25PM (#1935635)
Haskell is a good start. But it's type system can't even express sets.
[ Parent | on HN ]
Re:Mathematics for Computer Science by thesz on Wednesday November 24, 2010 @09:26AM (#1937388)
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.

[ Parent | on HN ]
Re:Mathematics for Computer Science by eru on Wednesday November 24, 2010 @12:18PM (#1937919)
Does HList take O(n) to check if an element is a duplicate?
[ Parent | on HN ]
Re:Mathematics for Computer Science by thesz on Thursday November 25, 2010 @08:42AM (#1940209)
At compile time, I guess.
[ Parent | on HN ]