Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Does Caml have slow arithmetics ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-07-10 (09:10)
From: Brandon J. Van Every <vanevery@i...>
Subject: [Caml-list] embedded OCaml
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.  OCaml doesn't
strike me as being oriented towards low-level hardware problems though.

Brandon Van Every           Seattle, WA

"The pioneer is the one with the arrows in his back."
                          - anonymous entrepreneur

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: