Quote: CLU type-checks parameterized types via a 'where' clause that defines the required operations

Quotation Skeleton

The problem with type generators [such as 'set[int]'] … Eventually we invented the "where" clause [ref], which describes the names and signatures of any operations the … [t:type] … where t has equal … '.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: data type as a set of operations (38 items)
Topic: type parameter (34 items)