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.0 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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 91E5ABC0A for ; Wed, 20 Jun 2007 21:35:15 +0200 (CEST) Received: from bdmail1.accesst.com (pop.bulldoghome.com [83.245.1.230]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5KJZFli018804 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Wed, 20 Jun 2007 21:35:15 +0200 Received: from host-84-9-233-104.bulldogdsl.com ([84.9.233.104] helo=[192.168.123.191]) by bdmail1.accesst.com with esmtpa (Exim 4.50) id 1I15qv-0001T3-IP; Wed, 20 Jun 2007 20:28:29 +0100 Message-ID: <4679822C.1000601@ed.ac.uk> Date: Wed, 20 Jun 2007 20:38:20 +0100 From: Jeremy Yallop User-Agent: Mozilla-Thunderbird 2.0.0.4 (X11/20070618) MIME-Version: 1.0 To: Stefan Monnier Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: ANN: pretty-printing, type-safe marshalling, dynamic typing for free. References: <46787172.4080404@ed.ac.uk> <46790128.6090104@ed.ac.uk> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 46798173.005 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; type-safe:01 marshalling:01 marshalling:01 ocaml:01 serialize:01 wrote:01 typing:01 caml-list:01 marshal:01 seems:03 dynamic:03 naive:03 naive:03 library:03 implies:04 Stefan Monnier wrote: >> In `deriving' Pickle is a fairly naive value-oriented serialiser. > > That's an unfortunate choice. Traditionally, "pickling" was always used for > the structure&cycle preserving form of serialization. Sometimes "marshalling" > was used to describe the naive no-sharing kind of serialization. > > Nowadays, it seems that "pickling" is not used very often and "marshalling" > tends to take care of sharing and cycles as well, tho. > > Still, in my mind "pickling" implies "the non-naive kind of serialization". Interesting. Of course, the name "Marshal" is already taken by the OCaml standard library. Do you have any other suggestions for a name for naive serialisation? "Serialise"/"Serialize", perhaps?