There’s been some work lately by Tweag I/O on a linear types extension to GHC.[1][2] It would allow us to safely allocate things from malloc memory or a “linea

There’s been some work lately by Tweag I/O on a linear types extension to GHC.[1][2] It would allow us to safely allocate things from malloc memory or a “linear heap” separate from the main GC heap, and that should reduce pause times by reducing GC pressure, but I don’t think we’ll ever be able to avoid the GC entirely. However, we can still expect some nice performance advantages from the fact that linear types can enforce guarantees about inlining & fusion (which are currently somewhat unpredictable) as well as resource lifetimes. [1]: https://github.com/tweag/linear-types https://github.com/tweag/linear-types [2]: https://github.com/tweag/ghc/tree/linear-types https://github.com/tweag/ghc/tree/linear-types