4 ms·
"type inferencing as used in haskell et al, that's a fairly recent development - early 90's/late 80's?" According to the wikipedia page (http://en.wikipedia.or
by procrastitron 18y ago
"type inferencing as used in haskell et al, that's a fairly recent development - early 90's/late 80's?"
According to the wikipedia page (http://en.wikipedia.org/wiki/Type_inference#Hindley.E2.80.93Milner_type_inference_algorithm http://en.wikipedia.org/wiki/Type_inference#Hindley.E2.80.93...), it dates back to 1978