3 ms·
> I really don't believe this is ever going to be better than existing techniques. The paper has examples of how it's better than existing method (such at the
by whateveracct 6y ago
> I really don't believe this is ever going to be better than existing techniques.
The paper has examples of how it's better than existing method (such at the ST trick). Took me like an hour to read the entire thing months ago.
Strong objections weren't ignored - they just weren't especially compelling. And when pressed for an alternative, nobody could come close to something of the rigor of what was merged.
This entire comment is FUD and the fact that it's at the top of HN is such a PITA. Now I'm gonna have to hear even more people copy-paste argue against the extension instead of making real progress.
This isn't going to make the library ecosystem worse. Please just edit that statement of "fact" out of your comment for all our sakes.
That's all okay though. I'll go make some video games with type-safe manual memory management thanks to this extension :) that's the power of not complaining when things aren't as perfect as you can imagine them.
- auggierose 6y agoWhich paper?
- whateveracct 6y ago"Linear Haskell" https://www.microsoft.com/en-us/research/uploads/prod/2017/12/linear-haskell-popl18-with-appendices.pdf https://www.microsoft.com/en-us/research/uploads/prod/2017/1... It's pretty long but it's pretty easy to just random-access read the examples for motivation. Both the Socket and the mutable array examples are great.