4 ms·
Yes, the Hindley-Milner type system: https://en.m.wikipedia.org/wiki/Hindley–Milner_type_system https://en.m.wikipedia.org/wiki/Hindley–Milner_type_system
by tuukkah 8y ago
Yes, the Hindley-Milner type system: https://en.m.wikipedia.org/wiki/Hindley–Milner_type_system https://en.m.wikipedia.org/wiki/Hindley–Milner_type_system
- fouc 8y agoIt would be nice if the LISP section was fleshed out a bit more with references to all the innovations in that.