I'm not part of any strike force and I activly dislike envangelism. Still, I like this website very much.

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.