There are a few people who are doing that. One good example is the work that Anil Madhavapeddy's been doing on the Mirage OS: http://www.openmirage.org/ http:/

There are a few people who are doing that. One good example is the work that Anil Madhavapeddy's been doing on the Mirage OS: http://www.openmirage.org/ http://www.openmirage.org/ It's a really impressive use of OCaml. Not sure why there are so few other good examples to point to though.