Quote: datatypes in ML by type constructors which represent the type and construct new instances of the type

Quotation Skeleton

For example [in ML], if we want to do … Ht of int // datatype age = Age … some n:int. The constructors Ht:int->height and Age:int->age do …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)