23 Apr
2009
23 Apr
'09
3:03 a.m.
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. Regards, apfelmus -- http://apfelmus.nfshost.com