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