From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 96447BC37 for ; Tue, 18 Aug 2009 12:59:09 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsQEAI4mikrZbprC/2dsb2JhbACTWsR2hBkFgio X-IronPort-AV: E=Sophos;i="4.43,402,1246831200"; d="scan'208";a="44791702" Received: from grisu.bik-gmbh.de ([217.110.154.194]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Aug 2009 12:59:09 +0200 Received: from [192.168.125.196] (abel.bik-gmbh.de [192.168.125.196]) by grisu.bik-gmbh.de (8.14.3/8.14.3) with ESMTP id n7IAx5IL010462 for ; Tue, 18 Aug 2009 12:59:05 +0200 (CEST) (envelope-from hars@bik-gmbh.de) Message-ID: <4A8A8979.4010705@bik-gmbh.de> Date: Tue, 18 Aug 2009 12:59:05 +0200 From: Florian Hars User-Agent: Thunderbird 2.0.0.22 (X11/20090608) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Jane Street is hiring (as if you didn't already know) References: <1250027407.4019.123.camel@nyc-qws-007.delacy.com> <200908171459.01872.toots@rastageeks.org> <7c737f300908171302q6c251441u35ed3bd99552bd46@mail.gmail.com> <200908171526.52574.toots@rastageeks.org> <3c1674c90908171430m12c4a3e7pa96cc5e60df72b17@mail.gmail.com> <20090818084452.f9df0801.mle+ocaml@mega-nerd.com> <3c1674c90908171622j79ec5df1ob4e6236dff3a1b36@mail.gmail.com> <20090818093300.a041d75a.mle+ocaml@mega-nerd.com> In-Reply-To: <20090818093300.a041d75a.mle+ocaml@mega-nerd.com> X-Enigmail-Version: 0.95.7 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; hars:01 hars:01 bik-gmbh:01 ocaml:01 haskell:01 haskell:01 low-level:01 caml-list:01 florian:03 florian:03 erik:04 kernels:04 linux:07 schrieb:08 quite:08 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.