English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
AGI research using ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-03-13 (14:01)
From: Eray Ozkural <examachine@g...>
Subject: Re: [Caml-list] AGI research using ocaml
Hi there,

On Sat, Mar 13, 2010 at 3:38 PM, pierre.chambart
<pierre.chambart@laposte.net> wrote:
> If I understand correctly the problem, that is generate code and execute
> it quickly, the best
> approach should be to use metaocaml. Moreover, your generated code will
> be type safe.
> http://www.metaocaml.org/
> and the new implementation is available here:
> http://okmij.org/ftp/ML/ber-metaocaml.tar.gz

Yes, that is my problem exactly. And type-safety is beneficial for
both humans and AI's! It helps us avoid silly programming errors!

I shall have a closer look. Thanks for the reference.


Eray Ozkural, PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara
http://myspace.com/arizanesil http://myspace.com/malfunct