English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2009-08-18 (11:07)
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 de Castro Lopo