3 ms·
Indeed, we don't really need affine type systems, what use could we get for them in the industry. /s
by pjmlp 9mo ago
Indeed, we don't really need affine type systems, what use could we get for them in the industry. /s
- artemonster 9mo agoIf you really have followed the research in type systems and see how it *factually* intersects with practical reality you wouldnt joke about it. Its a bizzare nonsense what they do in „research“ and sane implementations (only slightly grounded in formalisms) are actually used
- pjmlp 9mo agoI do, and hope that one day stuff like dependent types and formal proofs are every day tools, alongside our AI masters, which also don't use any learnings from scientific research.