[Dewie]

Where does the IO typing come from? Is it some programming language? The website says that it uses C for kernel and Go for user space, neither of which are known for having advanced typing systems.

[andrewflnr]

I think they're talking about OS-provided interprocess IO, which is mostly language-independent.