18 Aug
2002
18 Aug
'02
10:31 p.m.
At 2002-08-18 19:15, Jan Brosius wrote:
Still some question: Ok a is not a type but Integer is a type . But a can be instantiated to integer. This comes pretty close to call a therefore a type variable, Isn't it?
"a" is a type variable. "Integer" is a type. "forall a. a" is also a type, but frequently "forall"s at the top level are elided. -- Ashley Yakeley, Seattle WA