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: Florian Hars <hars@b...>
Subject: Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
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

- Florian.