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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 38F7DBBAF for ; Fri, 30 Jul 2010 00:44:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnYCAMKhUUzRVdY0f2dsb2JhbACgEQgWAQsJDAUTAx+mZYkAghCFcS6IVAEBAwWFMwSEDoRrgks X-IronPort-AV: E=Sophos;i="4.55,283,1278280800"; d="scan'208";a="64611328" Received: from mail-bw0-f52.google.com ([209.85.214.52]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Jul 2010 00:44:23 +0200 Received: by bwz14 with SMTP id 14so596575bwz.39 for ; Thu, 29 Jul 2010 15:44:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=m+CA7CG5GwjOTmD2qXptH3ongToaRKtFntbK1r4JJOo=; b=TINQ1HUIAsoRqjtpCbFMMLxxXbKqeggVziQv8qjJqnbPYSPl9bP51VEatSAMQT0w5j G3intgaRMNMm0wSgHQrsr137mhYW2piHqGlTNIE9hZTmWMC5aY9p1n4TYPKyUD8HPucF fMlGjP4OBAVufA6WgIw8BHwdilbiZ9vqW+M7c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=Ua8IuufDjmSiC3LO5rJuJAN8w7XnJSWEHPV/RW2JCp1EZoOCK3eYYnuMGikrdthNyi 7ebLmve1f2tB3xcUbI/j+W9oVqVitDY306jUJS5WJ98c6K7vji3Mx3MP5fRF//Ko99i6 X1G+oJDFXdKheyFPWFDAJ6h4BsSUf5QnzI9A0= MIME-Version: 1.0 Received: by 10.204.59.9 with SMTP id j9mr530721bkh.150.1280443463142; Thu, 29 Jul 2010 15:44:23 -0700 (PDT) Received: by 10.204.84.13 with HTTP; Thu, 29 Jul 2010 15:44:23 -0700 (PDT) In-Reply-To: <320e992a1003130601h4e4cad2dsefb54369c14e145d@mail.gmail.com> References: <320e992a1003130229v1f39f6aek752c32a677c3ac87@mail.gmail.com> <527cf6bc1003130521p203013bbo1c62ff66479cff6a@mail.gmail.com> <4B9B954A.8000409@laposte.net> <320e992a1003130601h4e4cad2dsefb54369c14e145d@mail.gmail.com> Date: Fri, 30 Jul 2010 01:44:23 +0300 Message-ID: Subject: Re: [Caml-list] AGI research using ocaml From: Eray Ozkural To: "pierre.chambart" Cc: caml-list Content-Type: multipart/alternative; boundary=001636eefc8ac68ba8048c8e79ce X-Spam: no; 0.00; ocaml:01 eray:01 ozkural:01 eray:01 ozkural:01 metaocaml:01 metaocaml:01 labltk:01 afaict:01 labltk:01 afaict:01 ber:98 ber:98 wrote:01 wrote:01 --001636eefc8ac68ba8048c8e79ce Content-Type: text/plain; charset=ISO-8859-1 On Sat, Mar 13, 2010 at 5:01 PM, Eray Ozkural wrote: > Hi there, > > On Sat, Mar 13, 2010 at 3:38 PM, pierre.chambart > 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 > I've taken a look at the 002 release of the BER fork. With some small modification to labltk dir I could get metaocaml to compile and run. AFAICT, there is no native code support for x64. Are there any plans to upgrade to 3.12 and x64? Best, -- Eray Ozkural --001636eefc8ac68ba8048c8e79ce Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Sat, Mar 13, 2010 at 5:01 PM, Eray Ozkural <examachine@gmai= l.com> wrote:
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 execu= te
> it quickly, the best
> approach should be to use metaocaml. Moreover, your generated code wil= l
> be type safe.
>
> http://www.met= aocaml.org/
> and the new implementation is available here:
> http://okmij.org/ftp/ML/ber-metaocaml.tar.gz


I've taken a look at the 002 release of th= e BER fork. With some small modification to labltk dir I could get metaocam= l to compile and run. AFAICT, there is no native code support for x64. Are = there any plans to upgrade to 3.12 and x64?

Best,

--
Eray Ozkural
--001636eefc8ac68ba8048c8e79ce--