From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B36CCBB9C for ; Fri, 6 Jan 2006 17:02:08 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k06G28mW015316 for ; Fri, 6 Jan 2006 17:02:08 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA08828 for ; Fri, 6 Jan 2006 17:02:07 +0100 (MET) Received: from copper.three-tuns.net (copper.three-tuns.net [193.201.200.235]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k06G27ab007089 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Fri, 6 Jan 2006 17:02:07 +0100 Received: from mark by copper.three-tuns.net with local (Exim 4.60) (envelope-from ) id 1Euu2Z-0005i0-48 for caml-list@inria.fr; Fri, 06 Jan 2006 16:02:07 +0000 Date: Fri, 6 Jan 2006 16:02:07 +0000 From: Mark Shinwell To: caml-list@inria.fr Subject: Re: [Caml-list] Pickling for OCaml? Message-ID: <20060106160207.GK5470@three-tuns.net> References: <20060106211605.6e0d2bd8.ocaml-erikd@mega-nerd.com> <43BE8E82.1000901@barettadeit.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <43BE8E82.1000901@barettadeit.com> User-Agent: Mutt/1.5.9i Sender: Mark Shinwell X-Miltered: at concorde with ID 43BE9480.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43BE947F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; shinwell:01 shinwell:01 caml-list:01 ocaml:01 baretta:01 marshalling:01 runtime:01 marshalling:01 o'caml:01 wrote:01 wrote:01 polymorphic:01 marshal:01 marshal:01 functions:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On Fri, Jan 06, 2006 at 04:36:34PM +0100, Alessandro Baretta wrote: > Jonathan Roewen wrote: > >>Will the Marshall module not do? > > > > > >Marshal is unsafe. Pickling is safe. I'd take pickling =) > > Marshalling and "pickling" are synonyms. The Marshal module does not > provide runtime checks, yet, but the Caml team is working at it, as far as > I know. Myself and others at Cambridge, headed by Peter Sewell, are working on type- and abstraction-safe marshalling for O'Caml that works even where values to be marshalled are passed through polymorphic functions. Expect to hear more later this year. Mark