Well, I'd suggest that OCaml probably has similar bug fighting properties as Haskell. It depends a lot on how much you enjoy writing module existence proofs :)

Well, I'd suggest that OCaml probably has similar bug fighting properties as Haskell. It depends a lot on how much you enjoy writing module existence proofs :) If I had any genuine reason for a unikernel today I'd definitely go for Mirage.