4 ms·
Interesting. In [1] he claims that languages with a nominal type system cannot have global type inference. Yet Nemerle claims to have both.
by wbhart 15y ago
Interesting. In [1] he claims that languages with a nominal type system cannot have global type inference. Yet Nemerle claims to have both.