[Haskell-beginners] Re: WWAAA... I hate monads

Heinrich Apfelmus apfelmus at quantentunnel.de
Thu Apr 23 03:03:19 EDT 2009

Daniel Carrera wrote:
> 1) I know what a type is, but not a "type constructor". I don't normally
> think of an Int or even a complex type as being "constructed" except in
> the sense of OOP which I know is not what the author means.

[Int] is a type. [] itself is a type constructor, taking a type like
Int  and "constructing" a new type  [Int] , a list of integers. In other
words, a type constructor is like a function on types.



More information about the Beginners mailing list