3 ms·
At first I thought it was a joke along the lines of "A monad is just a monoid in the category of endofunctors, what's the problem?", but no, it seems to be bein
by peteretep 8y ago
At first I thought it was a joke along the lines of "A monad is just a monoid in the category of endofunctors, what's the problem?", but no, it seems to be being said non-ironically.
- wtetzner 8y agoHow is this the same thing? - polymorphic lambda calculus: Lambda calculus with generics - lazy evaluation: Well, lazy evaluation. Not sure how else to describe this - algebraic data types: Again, how else to describe this? Put in a full description of what algebraic data types are? - type classes: Haskell has type classes. I really don't see what the problem is. If you're coming in to an article about dependent types, and you don't know what these things are, I think don't think the reasonable response is for the author to explain all of it to the reader. This isn't a beginner's introduction to Haskell.