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: -- (:)
From: Alex Baretta <alex@b...>
Subject: Re: [Caml-list] embedded OCaml
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.
>  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.


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