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 LAA09389; Sat, 10 Jul 2004 11:10:40 +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 LAA08982 for ; Sat, 10 Jul 2004 11:10:39 +0200 (MET DST) Received: from outbound28-2.lax.untd.com (outbound28-2.lax.untd.com [64.136.28.160]) by nez-perce.inria.fr (8.12.10/8.12.10) with SMTP id i6A9AbEV012359 for ; Sat, 10 Jul 2004 11:10:38 +0200 Received: from outbound28-2.lax.untd.com (smtp01.lax.untd.com [10.130.24.121]) by smtpout03.lax.untd.com with SMTP id AABAQ9NVCA5W2BMJ for (sender ); Sat, 10 Jul 2004 02:09:54 -0700 (PDT) Received: (qmail 6185 invoked from network); 10 Jul 2004 09:09:40 -0000 Received: from unknown (HELO vangogh) (66.52.236.69) by smtp01.lax.untd.com with SMTP; 10 Jul 2004 09:09:40 -0000 From: "Brandon J. Van Every" To: "caml" Subject: [Caml-list] embedded OCaml Date: Sat, 10 Jul 2004 02:19:52 -0700 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.6604 (9.0.2911.0) In-Reply-To: <1089389340.29648.364.camel@pelican.wigram> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409 Importance: Normal X-ContentStamp: 8:4:4252014212 X-MAIL-INFO: 3577abda9713971a275e5eb76bd3ca738adb8acb7ffafac76fc36b73172b5f930ba35f6b1b6bcea71757d7cea3ceeb5a272723efe70ad76f7e02fe03bf020a9b0aa7d36f4be3a7bfa7fb3a1f1f332ab7c38bb7176b5b4fc7c74f178ec7c79f5e7eaba3df13dadedf5ef37ae7477a6f0ab37b23237b6f8f23 X-UNTD-OriginStamp: CI84cOLHFqh7Zd2QWkwvEFvwyO3T/pIsPQZphDk9MRjDMlDHKwPmWFtpWYolRgdv X-Miltered: at nez-perce with ID 40EFB28D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; brandon:99 cornell:01 low-level:01 brandon:99 seattle:99 compiler:01 ocaml:01 ocaml:01 interfaces:01 unit:03 jgm:03 wrote:03 entrepreneur:95 forgetting:04 embedded:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk skaller wrote: > > > > > > Don't be forgetting microcontrollers! > > > > In OCaml? > > 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. Cheers, www.indiegamedesign.com Brandon Van Every Seattle, WA "The pioneer is the one with the arrows in his back." - anonymous entrepreneur ------------------- 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