Quote: every type in ML, including list constructors, can be defined in terms of tuple and function types; predefined types for efficiency

Quotation Skeleton

With the facility to define type operators, we … datatype 'a list = :: of ('a * … [] which introduces the polymorphic constructors: :: :('a * 'a list) … [] : 'a list This really shows the full power of … [ML's] … operators (* and ->) could be introduced by …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

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