Version française
Home     About     Download     Resources     Contact us    
Browse thread
Jane Street is hiring (as if you didn't already know)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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/