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 5E81DBBAF for ; Sat, 13 Mar 2010 16:48:53 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4CALpCm0vRVdrYkGdsb2JhbACOdYF2ghKHbQgVAQEBAQkJDAcTAx+pRoFhhE8uiEsBAQMFhHYE X-IronPort-AV: E=Sophos;i="4.49,632,1262559600"; d="scan'208";a="54774995" Received: from mail-bw0-f216.google.com ([209.85.218.216]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Mar 2010 16:48:53 +0100 Received: by bwz8 with SMTP id 8so1824986bwz.3 for ; Sat, 13 Mar 2010 07:48:53 -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=piu0rPVpR0kTGWBAtYoARhaBmgoasrjxN/3JuWlK86Q=; b=gqY20wURCygUjNAmW99Qd75fHX9H4jyfrC2JhQnUQH9TaLZ+BjwzW3mSslSBsS0mik CFo1fby5saNjVyYOmXi95Q8RakIRRCiYzT6lX9F3Nmza8wD77Hb3z78Av2jxcw2cYvEu ku3x5UydKCQf4ygU0MU5TmS9jX8Fa0Ih5oqYU= 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=G5yPKWOmzL/OeCjXKGMzQFrzxaj3C3YzFtjj0qP91cI/PkGlbeak04h3GOZ52qCaQq Il35V9HU6AwXsvFTcwUa6Da4ilZZqhPW2DWz7K1BvgWWen/awuNZpYwl+nRF7HiLDnfT i0/CGCYHnkmnds91jjP+C1gMKxyO7vgp/hg4I= MIME-Version: 1.0 Received: by 10.204.49.83 with SMTP id u19mr5482414bkf.157.1268495329220; Sat, 13 Mar 2010 07:48:49 -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 17:48:49 +0200 Message-ID: <320e992a1003130748y41fe8d44l4beaf58e5973e92e@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 runtime:01 ocaml:01 metaocaml:01 metaocaml:01 beginner's:01 bug:01 eray:01 ozkural:01 bilkent:01 beginners:01 wrote:01 exception:01 BTW, I think I left out an important implementation detail. To implement Levin Search using ocs, I had to hack the ocs interpreter so it counted Scheme Execution Cycles. Kind of like a cheap runtime profiling. Could I use a cpu timer instead? Yes, certainly, but I did that. At any rate, I need to be able to terminate the execution of the interpreter when a specific time limit is reached. In ocs, I threw an exception when a cycle limit was reached. How should I do that when using meta ocaml and what would give me the least overhead? Should I use a timer interrupt? Would it work out at a nanosecond level? Please excuse my ignorance. I've had a lot of trouble working on absolutely obsolete C++ code for some not-so-useful research projects, so I couldn't have much time to work on ocaml, I think I've forgotten much :( Best, 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 > -- > Pierre > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- 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