Quote: in the theory of dependent types, Modula-3's generic interface is a function from module-values to module-types and a generic module is a function from module-values to module-values

Quotation Skeleton

[How the generics got their subsection, by Anonymous] Lambdaman: … establishing [the soundness of generics with interface parameters] would be an elementary exercise in … [p. 244] The basic idea is to move up … and think instead of a whole module as … [For example,] INTERFACE I; VAR x, y; INTEGER END … [becomes] MODULE-VAR I: MODULE-RECORD x,y: INTEGER END; … Pluckless: What if the interface contains an opaque … a module record type can be a "dependent … earlier components. … [IMPORT is] just a scoping discipline that allows one … [p. 246] A generic interface is a function from … [p. 246] A generic module is a function from …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: object-oriented templates and containers (27 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: dependency analysis (31 items)