3 ms·
standard ml (and thus haskell) has total type inference. the problem in haskell at least are extensions which ruin some inference.
by ibotty 13y ago
standard ml (and thus haskell) has total type inference. the problem in haskell at least are extensions which ruin some inference.