Archives of the Caml mailing list > Message from Eray Ozkural

Browse thread

AGI research using ocaml

Eray Ozkural
- blue storm
  - pierre.chambart
    - Eray Ozkural
      - Eray Ozkural
    - Eray Ozkural
      - blue storm
        
        Eray Ozkural
  - Eray Ozkural
    - Basile Starynkevitch
      - Eray Ozkural
        
        Basile Starynkevitch
    - Stefan Monnier
  - Eliot Handelman
    - Eray Ozkural
- Andre Nathan
  - Eray Ozkural
    - Andre Nathan

Date:	-- (:)
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.

Best,

-- 
Eray Ozkural, PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct