The ideas are kind of implemented in Haskell, if that counts. Every pure transformation (i.e. function) in Haskell is safe from side effects. There is a very c

The ideas are kind of implemented in Haskell, if that counts. Every pure transformation (i.e. function) in Haskell is safe from side effects. There is a very clean and safe separation beween pure and impure code. So an operating system based on Haskell, with a Haskell shell and the like, would be a very secure environment. Of course, that means the Haskell compilers and interpreters have to be secure, but the same holds for C compilers, too.