generic type - (Also known as a "schematic type variable"). Different occurrences of a generic type variable in a type expression may be instantiated to different types. Thus, in the expression
let id x = x in
(id True, id 1)
id's type is (for all a: a -> a). The universal quantifier "for all a:" means that a is a generic type variable. For the two uses of id, a is instantiated to Bool and Int. Compare this with
let id x = x in
let f g = (g True, g 1) in
f id
;
дс тдрлими цюлютдажкию дроемжки аиакиохдйис лидр
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi;
