4 ms·

> and the languages you write them in Unless that language is Haskell, of course :) http://en.wikibooks.org/wiki/Haskell/Category_theory http://en.wikibooks.o

by kwantam 16y ago

> and the languages you write them in Unless that language is Haskell, of course :) http://en.wikibooks.org/wiki/Haskell/Category_theory http://en.wikibooks.org/wiki/Haskell/Category_theory

eru 16y ago
Haskell is a good start. But it's type system can't even express sets.
- thesz 16y ago
  HList? http://hackage.haskell.org/package/HList http://hackage.haskell.org/package/HList http://hackage.haskell.org/packages/archive/HList/0.2.3/doc/html/Data-HList-HOccurs.html 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 16y ago
    Does HList take O(n) to check if an element is a duplicate?
    - thesz 16y ago
      At compile time, I guess.