3 ms·
I could mmap some virtual memory and write malloc's API to allocate chunks, kept safe by linear haskell I can write a variety of memory allocators, kept safe b
by whateveracct 6y ago
I could mmap some virtual memory and write malloc's API to allocate chunks, kept safe by linear haskell
I can write a variety of memory allocators, kept safe by linear haskell
more generally, anything you can do in C, you can do in Haskell. So malloc is fair game (although i'd just call the C one from Haskell)
- Ericson2314 6y agoNo I mean linear arrows vs linear kinds means you can't write malloc without CPSing.
- whateveracct 6y agoyeah i don't especially expect that to matter in practice. monads used to require CPSing all over the place too.