Hacker News new | ask | show | jobs
by rujuladanh 2639 days ago
What math-backed theories? Why do they matter? Do you mean for the compiler team or for the users?
1 comments
nine_k 2639 days ago
Hindley-Milner type inference and linear types (used indirectly for lifetimes) spring to mind.
link
rujuladanh 2637 days ago
Those are useful for compiler devs and language designers, not so much for the average user of the language.
link