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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id B2A80BBAF for ; Sat, 13 Mar 2010 15:01:29 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4CAC8pm0vRVdrYkGdsb2JhbACOdYF2ghKHbQgVAQEBAQkJDAcTAx+pF4FhhFwuiEsBAQMFhHYE X-IronPort-AV: E=Sophos;i="4.49,632,1262559600"; d="scan'208";a="46627582" Received: from mail-bw0-f216.google.com ([209.85.218.216]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Mar 2010 15:01:29 +0100 Received: by bwz8 with SMTP id 8so1779106bwz.3 for ; Sat, 13 Mar 2010 06:01:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=Q4ViRKtux+fFI8NfCMLlzVKdhKXB9QGMMUH225MIxdI=; b=pIpCXSzqX0C9Pd35pJhc4I9AC1b7rzCQqh4mEa/DkUES+a3/hc7hAf0Cf4/sPEEoHV DJV3zuLGqv3SVP2OA6scfa+aQyZMMr6mUjCDjeEYSwVjWIq+iS6rnfBHBXhG9cATB88W g1EF/1P1pTdsDiFqu/r8XIeR4Fch7PXlNdsOA= 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=R8iZ4f4v6ULn9Ne27oLiHXJI4uPrUbwf55aL5KDn3Wcj1+WO3CmubUTtxrQ0mPNBoY EiDlsXQfoaUTQ+OBxKPqsVmsPe6YbnOFjmNCG9umujn9Iu4lhWTy1Bs9YFHOjZhkgRWQ 04CEasKQ5bm13BJvNHR2DasL8QHLZdUpPaRsc= MIME-Version: 1.0 Received: by 10.204.130.90 with SMTP id r26mr3802759bks.9.1268488889096; Sat, 13 Mar 2010 06:01:29 -0800 (PST) In-Reply-To: <4B9B954A.8000409@laposte.net> References: <320e992a1003130229v1f39f6aek752c32a677c3ac87@mail.gmail.com> <527cf6bc1003130521p203013bbo1c62ff66479cff6a@mail.gmail.com> <4B9B954A.8000409@laposte.net> Date: Sat, 13 Mar 2010 16:01:29 +0200 Message-ID: <320e992a1003130601h4e4cad2dsefb54369c14e145d@mail.gmail.com> Subject: Re: [Caml-list] AGI research using ocaml From: Eray Ozkural To: "pierre.chambart" Cc: caml-list Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; ocaml:01 eray:01 ozkural:01 metaocaml:01 metaocaml:01 type-safety:01 eray:01 ozkural:01 bilkent:01 wrote:01 caml-list:01 tar:01 pierre:02 pierre:02 groups:02 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 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