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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id E54AFBBCA for ; Thu, 20 Mar 2008 23:33:16 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjkBAHKD4kfOvjGufGdsb2JhbACRBQEBCwUCBwcWmgo X-IronPort-AV: E=Sophos;i="4.25,533,1199660400"; d="scan'208";a="10506842" Received: from web54604.mail.re2.yahoo.com ([206.190.49.174]) by mail3-smtp-sop.national.inria.fr with SMTP; 20 Mar 2008 23:33:16 +0100 Received: (qmail 40493 invoked by uid 60001); 20 Mar 2008 22:33:15 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=RNgrL8Woaj7I7rXcCQ5KA11o6I30zi4hto0DKkmlFhKSy90NydIpDteP7wLoCphJA2MQTJA/jIKCe3qnvEq67+40/7zKCPARdFZW36d6qY4LItnGn+tDUYSp1SfgKOm88iOD7eF5vye3/6r73I5rLjxmkTUixPSBAXIJKRZhtAk=; X-YMail-OSG: XbHpISsVM1mqdIGCtdZpyfTbe2n06P49wKXg2yaHWvWLnT12HfiBol34I1KbUyAm.YSlI9xw4DbFUhl1yrtzmuhr2g9g02IxkP2oSbkgHWzx4O6ZyPI- Received: from [85.244.12.183] by web54604.mail.re2.yahoo.com via HTTP; Thu, 20 Mar 2008 22:33:14 GMT Date: Thu, 20 Mar 2008 22:33:14 +0000 (GMT) From: Dario Teixeira Subject: Re: [Caml-list] Long-term storage of values To: =?iso-8859-1?q?Daniel=20B=FCnzli?= , caml-list caml-list In-Reply-To: <655A6E04-39B1-4692-A81B-89035F902BD2@erratique.ch> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <178949.40205.qm@web54604.mail.re2.yahoo.com> X-Spam: no; 0.00; ocaml:01 ocaml:01 type-safe:01 marshalling:01 type-safe:01 marshalling:01 xavier's:01 cheers:01 listened:98 caml-list:01 expression:02 constraints:03 sport:96 inclusion:04 anyway:05 > > And judging from comments by Xavier Leroy (the primary developer of > > the Ocaml language) at the Ocaml users meeting in Paris this last > > January, there's a good chance that type-safe marshalling will make > > it into the core language in the near future. > > What are the comments in question ? Is this real or wishful > interpretations ? > Hi, As far as I understood it (I wasn't in Paris; I only listened to the audio recordings), the research has been done (there are actually several different projects that focused on this subject), and there are no major technical impediments to the inclusion of type-safe marshalling into the core language. However, given the present man-power constraints of the Ocaml team at INRIA, I may have used the expression "near future" in a non-conventional way... In any case, only the Ocaml team can elucidate us on that matter. (Anyway, Xavier's talk was very interesting, as were all the others; I recommend anyone interested in the future of the Ocaml language to watch the video or to listen to the recordings) Cheers, Dario ___________________________________________________________ Rise to the challenge for Sport Relief with Yahoo! For Good http://uk.promotions.yahoo.com/forgood/