Browse thread
Jane Street is hiring (as if you didn't already know)
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Erik de Castro Lopo <mle+ocaml@m...> |
| Subject: | Re: [Caml-list] Jane Street is hiring (as if you didn't already know) |
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/