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=1.0 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 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 DA829BBAF for ; Thu, 23 Oct 2008 18:39:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtICAI5FAEnAXQIngWdsb2JhbACTcAEBFiKtBoNO X-IronPort-AV: E=Sophos;i="4.33,471,1220220000"; d="scan'208";a="16411175" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Oct 2008 18:39:04 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9NGd4ZN025440 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 23 Oct 2008 18:39:04 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtICAI5FAElDz4HegWdsb2JhbACTcAEBFiKtBoNO X-IronPort-AV: E=Sophos;i="4.33,471,1220220000"; d="scan'208";a="18429130" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2008 18:39:03 +0200 Received: from usha.takhisis.invalid (unknown [10.17.0.18]) by fettunta.fettunta.org (Postfix) with ESMTP id F1CB5182A4 for ; Thu, 23 Oct 2008 16:39:01 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id 10DE36793; Thu, 23 Oct 2008 18:37:38 +0200 (CEST) Date: Thu, 23 Oct 2008 18:37:38 +0200 From: Stefano Zacchiroli To: caml-list@inria.fr Subject: Re: [Caml-list] Re: Serialisation of PXP DTDs Message-ID: <20081023163738.GA27707@usha.takhisis.invalid> Mail-Followup-To: caml-list@inria.fr References: <33055.70791.qm@web54606.mail.re2.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <33055.70791.qm@web54606.mail.re2.yahoo.com> User-Agent: Mutt/1.5.18 (2008-05-17) X-Miltered: at concorde with ID 4900A8A8.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 pxp:01 dtds:01 ocaml:01 zacchiroli:01 postdoc:01 zack:01 23,:98 dietro:98 c'e:98 sempre:98 wrote:01 encode:01 uno:98 On Thu, Oct 23, 2008 at 08:34:21AM -0700, Dario Teixeira wrote: > - ease of use > - "future-proofness" > - portability > - human-readability > > Sexplib scores very good on ease of use, future-proofness, and ^^^^^^^^^^^^^^^^ Does it? I mean, as long as types are as simples are pairs we will probably write down the very same S-expression, but for more complex types you hand up having to choose how to encode them in S-expressions. Such design choices can need to be changed in the future as more types will be supported. I fail to see why the future-proofness of such choices should be better than that of bin-prot. Yes, in case of changes you can imagine writing converters from the old format to the new one, but you can do that also for binary representations. In fact, doing that in OCaml using bitmatch would lead to the same code as per S-expressions, I believe. Beside this comment, thanks for the nice analysis. -- Stefano Zacchiroli -*- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è sempre /oo\ All one has to do is hit the right uno zaino -- A.Bergonzoni \__/ keys at the right time -- J.S.Bach