type scheme

You are here: irt.org | FOLDOC | type scheme

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

	\ x . x :: a -> a

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

(1994-10-31)

Nearby terms: TypedProlog « typeface « type inference « type scheme » typo » typographical error » typography

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb