From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 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 4A353BC6C for ; Fri, 14 Dec 2007 15:51:31 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANcnYkfBMVMPh2dsb2JhbACQAwEBAQgKKZlU X-IronPort-AV: E=Sophos;i="4.24,168,1196636400"; d="scan'208";a="20324661" Received: from kabis.univ-orleans.fr (HELO ka.univ-orleans.fr) ([193.49.83.15]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Dec 2007 15:51:21 +0100 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by ka.univ-orleans.fr (Postfix) with ESMTP id DB07E12AE29 for ; Fri, 14 Dec 2007 15:51:21 +0100 (CET) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id CA2AA36E5B for ; Fri, 14 Dec 2007 15:51:23 +0100 (CET) Subject: Re: [Caml-list] Re: "Ref" and copy of functions From: David Teller To: Caml In-Reply-To: <87d4t9k0uy.fsf@pps.jussieu.fr> References: <6cb897b30712130927m7df88e3axec56eacba4d47fdf@mail.gmail.com> <87d4t9k0uy.fsf@pps.jussieu.fr> Content-Type: text/plain Date: Fri, 14 Dec 2007 15:51:19 +0100 Message-Id: <1197643879.6029.13.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ens-lyon:01 camlp:01 cheers:01 0100,:01 syntax:01 recursion:01 camlp:01 recursive:01 univ-orleans:01 lifo:01 liquidations:98 wrote:01 caml-list:01 functions:01 functions:01 Speaking of SDFlow, I've slightly extended it with three functions to_array, to_stream and of_array. I may extend it a bit further, but I don't think so. Do you accept submissions ? I've also made use of SDFlow in a Camlp4 extension for stream comprehension, by the way. I'll try and publish this within a few days. Cheers, David On Fri, 2007-12-14 at 11:49 +0100, Zheng Li wrote: > Note however, SDFlow is just a proof of concept. The syntax on > recursion can be made much more straightforward with some camlp4 > script to allow recursive value with preconditions. I just don't > have time to do that. > > HTH. -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.