[pjmlp]

Also Haskell is getting linear types, which gets us the best of both worlds, GC productivity and low level performance when needed.

[platz]

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.

[anon291]

> 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.

[pjmlp]

They are on the early days of integrating them, so how could we expect them to refactor GHC all the way already?

[ghostwriter]

What would be an example of significant elision in this context?