Funk – The Functional Kernel

Funk, the functional kernel.Funk is a project of writing a kernel in OCaml. It could then be used as an educational tool for teaching OS design, for instance, or may be just replace Linux before Hurd goes out. The project uses the power of a high-level programming language, with GC, static type checking, polymorphisms and other features, to abstract the OS designer from low-level problems that can