Hacker News new | ask | show | jobs
by platz 1227 days ago
Every talk I've seen on Haskell linear types is that at best they can do some specific compuatations more efficiently (especially with arrays) but are not a good fit in Haskell to significantly elide GC.
3 comments
anon291 1227 days ago
> but are not a good fit in Haskell to significantly elide GC

That's because the entire haskell ecosystem would have to be rewritten which seems insurmountable.

link
pjmlp 1227 days ago
They are on the early days of integrating them, so how could we expect them to refactor GHC all the way already?
link
ghostwriter 1227 days ago
What would be an example of significant elision in this context?
link