undefined | Better HN

0 pointspjmlp3y ago0 comments

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

0 comments

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

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

pjmlpOP3y ago

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

ghostwriter3y ago

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

j / k navigate · click thread line to collapse