5 ms·
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 goo
by platz 4y 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.
- ghostwriter 4y agoWhat would be an example of significant elision in this context?
- pjmlp 4y agoThey are on the early days of integrating them, so how could we expect them to refactor GHC all the way already?
- anon291 4y 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.