Archives of the Caml mailing list > Message from Basile STARYNKEVITCH

Browse thread

Ocaml implementation and low level details

Konstantin Tcholokachvili
- Samuel Thibault
  - Konstantin Tcholokachvili
  - Samuel Thibault
    - Konstantin Tcholokachvili
      - Samuel Thibault
        
        Konstantin Tcholokachvili
        
        Basile STARYNKEVITCH
- Richard Jones
  - Goswin von Brederlow
    - Konstantin Tcholokachvili

Date:	2010-01-28 (17:47)
From:	Basile STARYNKEVITCH <basile@s...>
Subject:	Re: [Caml-list] Ocaml implementation and low level details

Konstantin Tcholokachvili wrote:
> Thank you for these infos, I will consider which solution fits the best 
> with my project: make a trade off, find a more suitable ML 
> implementation or stay  (sadly) with C.


You might also consider some safer system programming languages, like Cyclone or BitC.

You could also consider generating some "safer" C from some other, better, language...

http://en.wikipedia.org/wiki/Cyclone_%28programming_language%29
http://cyclone.thelanguage.org/
http://www.bitc-lang.org/

Regards.

-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***