4 ms·
To some degree, yes. Until you try to write what would be idiomatic SML code in those and the lack of tracing GC comes to bite you. Nevertheless, I guess it's
by TurboHaskal 6y ago
To some degree, yes. Until you try to write what would be idiomatic SML code in those and the lack of tracing GC comes to bite you.
Nevertheless, I guess it's good sum types are making it into the mainstream.
- pjmlp 6y agoAgreed, that is also a reason why I think in the end GC by default (regardless of the algorithm) + affine types will win adoption across mainstream languages, and pure affine type languages like Rust will find their niche on scenarios like those where certifications like MISRA are required, or kernel stuff.