From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA27554; Mon, 28 May 2001 19:01:01 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA27525 for caml-list@pauillac.inria.fr; Mon, 28 May 2001 19:01:01 +0200 (MET DST) 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 XAA12359 for ; Sun, 27 May 2001 23:25:05 +0200 (MET DST) Received: from sarg.Ryerson.CA (sarg.ryerson.ca [141.117.18.117]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f4RLP4H12064 for ; Sun, 27 May 2001 23:25:04 +0200 (MET DST) Received: from sarg.Ryerson.CA (IDENT:dmason@localhost [127.0.0.1]) by sarg.Ryerson.CA (8.9.3/8.9.3) with ESMTP id RAA11063 for ; Sun, 27 May 2001 17:24:58 -0400 Message-Id: <200105272124.RAA11063@sarg.Ryerson.CA> To: caml-list@inria.fr Subject: Re: [Caml-list] lisp -> ocaml In-reply-to: Your message of "Sun, 27 May 2001 15:01:19 +0200." <20010527150119.A8468@pauillac.inria.fr> Mime-Version: 1.0 (generated by tm-edit 7.108) Content-Type: text/plain; charset=US-ASCII Date: Sun, 27 May 2001 17:24:58 -0400 From: Dave Mason Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>>> On Sun, 27 May 2001 15:01:19 +0200, Xavier Leroy said: > With some trickery, you can even implement atoms with property > lists, type safe but dynamically typed of course. See the code > below. (Warning: the implementation of properties is a real > mind-twister, using a folklore trick to implement dynamics using > references and functions that I learnt from Daniel de Rauglaudre, > although it's been reinvented independently quite a number of > times.) Very cute! But not threadsafe among threads that use the same set of attributes (unless I missed something). I point this out simply as a warning, not because I think it invalidates the (neat) trick. ../Dave ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr