TYPE SCHEME


Meaning of TYPE SCHEME in English

A typing of an expression which may include type variable s. E.g.

\ x . x :: a -> a

where a is a generic type variable which may be instantiated to any type.

(1994-10-31)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.