3 ms·
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
by runeks 9y ago
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.
- danharaj 9y agoThere'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.