I was referring to operating systems architectures, not only programming languages. While I believe you could write an operating system in Haskell, for instanc

I was referring to operating systems architectures, not only programming languages. While I believe you could write an operating system in Haskell, for instance, I don't know nothing about it's performance. However, microkernels, even though are safer, have some performance drawbacks.