From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 940F4BBAF for ; Sat, 13 Mar 2010 14:38:27 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlIBAEIkm0vB+9Z5kWdsb2JhbACbBwEBAQEJCwoHEwQeuFyEewQ X-IronPort-AV: E=Sophos;i="4.49,632,1262559600"; d="scan'208";a="58785434" Received: from out4.laposte.net (HELO out3.laposte.net) ([193.251.214.121]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Mar 2010 14:38:27 +0100 Received: from meplus.info (localhost [127.0.0.1]) by mwinf8314.laposte.net (SMTP Server) with ESMTP id AD8297000089 for ; Sat, 13 Mar 2010 14:38:26 +0100 (CET) Received: from [192.168.1.15] (APuteaux-151-1-19-221.w82-124.abo.wanadoo.fr [82.124.98.221]) by mwinf8314.laposte.net (SMTP Server) with ESMTP id 85ABC7000085 for ; Sat, 13 Mar 2010 14:38:26 +0100 (CET) X-ME-UUID: 20100313133826547.85ABC7000085@mwinf8314.laposte.net Message-ID: <4B9B954A.8000409@laposte.net> Date: Sat, 13 Mar 2010 14:38:18 +0100 From: "pierre.chambart" User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20090707) MIME-Version: 1.0 To: caml-list Subject: Re: [Caml-list] AGI research using ocaml References: <320e992a1003130229v1f39f6aek752c32a677c3ac87@mail.gmail.com> <527cf6bc1003130521p203013bbo1c62ff66479cff6a@mail.gmail.com> In-Reply-To: <527cf6bc1003130521p203013bbo1c62ff66479cff6a@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-me-spamlevel: not-spam X-me-spamrating: 39.599998 X-me-spamcause: OK, (-10)(0000)gggruggvucftvghtrhhoucdtuddrvdeltddrieejucetggdotefuucfrrhhofhhilhgvmecuoehnohhnvgeqnecuuegrihhlohhuthemuceftddtnecufghrlhcuvffnffculddvtddmnehthhgvuchprhhosghlvghmucdlqdeftddm X-Spam: no; 0.00; ocaml:01 metaocaml:01 metaocaml:01 caml-list:01 tar:01 pierre:02 pierre:02 correctly:04 generated:05 problem:05 approach:08 execute:09 laposte:88 research:12 moreover:13 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 -- Pierre