Florian Hars wrote: > Erik de Castro Lopo schrieb: > > That makes sense. I do quite low level stuff as well, even Linux device > > drivers and that is not ever going to be done in Ocaml or Haskell :-). > > People do use Haskell in developing OS kernels, and you can't get more > low-level than that: > > http://ertos.nicta.com.au/research/l4.verified/approach.pml
The Linux kernel which is the one I am interested in is C only. For the Linux kernel I very much doubt it is ever going to be possible to write drivers in Ocaml or Haskell even if that is possible for other kernels now. Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
