Cette idée doit souvent revenir dans l'esprit des développeurs Haskell ou OCaml : Pourquoi n'entendons-nous pas parler d'expériences de noyaux écris avec un langage fonctionnel ?

En effet, le fait de ne jamais avoir de segfault ou de null pointer exception est tout de même un sacré avantage dans un noyau!!! Alors oui, il y a à coup sûr d'énormes problèmes comme le garbage collector, on perdrait surement en contrôle et en efficacité. Mais je reste convaincu que des fonctions en fonctionnel pur (donc sans effets de bords) seraient une sacrée avancée dans le développement kernel où l'on manipule plusieurs threads et plusieurs coeurs d'exécution en même temps!

Et bien après une longue recherche, on peut trouver deux projets en OCaml :

• MyNOS
• Funk

Malheureusement, ces projets n'ont plus d'activité notable depuis 2005 :(