This is not evangelism. Would you say that about a kernel in OCaml or Haskell?

Experimenting with safer language choices and see how that might help writing a kernel is a fun exercise. I am glad that Phil shared these articles, I learned a bunch from it.