News for hackers. Stuff that matters.

A comment on Reflecting on Haskell in 2017. Parent comment

Re:Reflecting on Haskell in 2017 by mjhoy on Monday December 04, 2017 @03:07PM (#15846935)
> there’s not a single concrete example of how linear types would help real-life code

Given what Rust has achieved in terms of memory management, that seems like a strange claim to make?

There are also some rather concrete examples here:

http://edsko.net/2017/01/08/linearity-in-haskell/

[ Parent | on HN ]
Re:Reflecting on Haskell in 2017 by kccqzy on Monday December 04, 2017 @03:51PM (#15847365)
What Rust has implemented is very different from the current linear type proposal in Haskell world.
[ Parent | on HN ]