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=2.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST, DNS_FROM_SECURITYSAGE,SPF_NEUTRAL 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 DDF43BBAF for ; Thu, 23 Oct 2008 18:56:47 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcEABZJAEnAXQIngWdsb2JhbACDJIkchnI+AQEWIqRSfIdBAQMBA4NL X-IronPort-AV: E=Sophos;i="4.33,471,1220220000"; d="scan'208";a="16411809" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Oct 2008 18:56:47 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9NGul5f025876 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 23 Oct 2008 18:56:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj8BAAFKAEnRVdkOimdsb2JhbACDJIkchnI+AQEBCgkMBw8FpFV8h0IBAwEDg0s X-IronPort-AV: E=Sophos;i="4.33,471,1220220000"; d="scan'208";a="30669679" Received: from mail-gx0-f14.google.com ([209.85.217.14]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2008 18:55:38 +0200 Received: by gxk7 with SMTP id 7so175108gxk.9 for ; Thu, 23 Oct 2008 09:53:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=aAlnrJ0SuTqFy4uU1Ynjvlj3bgqvNoubr46XJM3LV0Y=; b=ftUyTZzc/eTmhZh4DjBzZl7ereN72RwWOMsl6Zxft6Hy6WyJq5TiMKI1qIIaLFcTeF uPp/nwBgmvIBDAY/leuRTLGfgAAQugunbt7mc6sgmKT+YZUBZNj7jzRbh+KeY9a4+NQi eWgsXtGpoMOh2uYG1l6/Af2TdVU5ERY4AsVCY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=b43GTnz/HRC/ebZ5KerN7x73a+Gbk6gFRjI1ha4VWau//YRmeyjffFZcyb1BQyobl7 VYadEtsOvNSwdhsWIZqV/SU50z0rCisoXjAnA8ofEANhkRJhq0vyhTeWMLzQn7C7uE/i Tb6u9br6O91f0a5SuyevwkhgHCicUjEZfEWJc= Received: by 10.142.251.9 with SMTP id y9mr450875wfh.46.1224780836883; Thu, 23 Oct 2008 09:53:56 -0700 (PDT) Received: by 10.143.35.6 with HTTP; Thu, 23 Oct 2008 09:53:56 -0700 (PDT) Message-ID: Date: Thu, 23 Oct 2008 12:53:56 -0400 From: "Markus Mottl" To: caml-list@inria.fr Subject: Re: [Caml-list] Re: Serialisation of PXP DTDs In-Reply-To: <20081023163738.GA27707@usha.takhisis.invalid> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <33055.70791.qm@web54606.mail.re2.yahoo.com> <20081023163738.GA27707@usha.takhisis.invalid> X-Miltered: at concorde with ID 4900ACCF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 pxp:01 dtds:01 zacchiroli:01 zack:01 datatypes:01 ocaml:01 ocaml:01 23,:98 wrote:01 encode:01 caml-list:01 On Thu, Oct 23, 2008 at 12:37 PM, Stefano Zacchiroli wrote: > 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. Both the S-expression converters and the binary protocol already support all extensionally defined datatypes in OCaml, and there are no plans to change their representation. I think it is fair to say that both of them are reasonably future-safe. Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com