3 ms·
What math-backed theories? Why do they matter? Do you mean for the compiler team or for the users?
by rujuladanh 8y ago
What math-backed theories? Why do they matter? Do you mean for the compiler team or for the users?
- nine_k 8y agoHindley-Milner type inference and linear types (used indirectly for lifetimes) spring to mind.
- rujuladanh 8y agoThose are useful for compiler devs and language designers, not so much for the average user of the language.