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