Re:Linear types can change the world (1990) [pdf]
by runeks on Wednesday January 10, 2018 @03:37AM
(#16113376)
Is it still possible that the GHC garbage collector will be able to take advantage of linear types, and thus improve performance since it can free linear values after they’ve been consumed once?
I remember linear types for Haskell being presented as a way to get Rust-like performance in the cases where memory allocation/freeing is a bottleneck. But I’m not sure whether this has changed after further research.
Re:Linear types can change the world (1990) [pdf]
by danharaj on Wednesday January 10, 2018 @02:09PM
(#16117881)
There's no compelling evidence that that will be the case but it's possible in the far future. The emphasis at the moment is on correctness of resource usage.
I remember linear types for Haskell being presented as a way to get Rust-like performance in the cases where memory allocation/freeing is a bottleneck. But I’m not sure whether this has changed after further research.