On: Linear types are merged in GHC

[nine_k]

A unikernel library could put your key process front and center, only providing a unified way to access the hardware.

Things become more interesting when you start to need concurrency. You can of course do it manually, too, controlling every fiber switch (I've seen this done in an engine controller, where all the computatios should complete within one rotation of the shaft.)

[kccqzy → nine_k]

Funny how you mentioned unikernel. There's a Haskell unikernel whose development began more than a decade ago: https://github.com/GaloisInc/HaLVM