Hacker News new | ask | show | jobs
by bjpbakker 3243 days ago
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.