From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id BAA10538; Mon, 12 Jul 2004 01:10:24 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA10445 for ; Mon, 12 Jul 2004 01:10:23 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from alex.baretta.com (host220-4.pool62211.interbusiness.it [62.211.4.220] (may be forged)) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i6BNALEV031580 for ; Mon, 12 Jul 2004 01:10:22 +0200 Received: from baretta.com (localhost [127.0.0.1]) by alex.baretta.com (Postfix) with ESMTP id A0B392D5ADA; Sun, 11 Jul 2004 19:11:17 -0400 (EDT) Message-ID: <40F1C915.4040608@baretta.com> Date: Mon, 12 Jul 2004 01:11:17 +0200 From: Alex Baretta User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: it, en-us, en MIME-Version: 1.0 To: "Brandon J. Van Every" , Ocaml Subject: Re: [Caml-list] embedded OCaml References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 40F1C8DD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; baretta:01 baretta:01 caml-list:01 brandon:99 cornell:01 low-level:01 glass:99 plc:99 3.07:01 gpl:01 api:01 compiler:01 ocaml:01 ocaml:01 alex:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Brandon J. Van Every wrote: > skaller wrote: >>How about an aircraft heads-up display and instrument >>unit using a PIII, and Ocaml? I can't see why you'd >>not want to opt for a language where you can actually >>reason the code is correct -- would you prefer your >>aircraft to use a C program? > > > That sounds like theory. Show me an embedded device actually programmed > in OCaml. C interfaces are important when speaking to low level > hardware, and OCaml doesn't have a particularly good one. I'm aware of > some other research work in the ML language family regarding "typed > assembly language," such as the TILT compiler. > http://www.cs.cornell.edu/Info/People/jgm/tilt.html OCaml doesn't > strike me as being oriented towards low-level hardware problems though. We are about to ship our first embedded ocaml application: an automatic glass cutting table. The PLC is 2Ghz Celeron with 256MB RAM, Linux 2.4 and Ocaml 3.07+2. It's just magnificent! We are working on a logical control framework based on Ocaml. We will release under the GPL when the API will have stabilized. Alex ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners