1690 shaares
869 private links
869 private links
Hask is the category of Haskell types. This article lists some interesting exceptions where the programming language do not quite hold the consistent properties to the corresponding mathematically description of category theory objects.