Version française
Home     About     Download     Resources     Contact us    
Browse thread
Weak hash table for attaching extra data to an object
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] Weak hash table for attaching extra data to an object
On Wednesday 15 August 2007 00:09:40 Stefano Zacchiroli wrote:
> On Tue, Aug 14, 2007 at 09:44:15PM +0100, Jon Harrop wrote:
> > I think this is an important design choice that people should be aware of
> > when they first write the code. If you think the product types inside
> > your expr
>
> Richard's point was precisely about *not* being able to change such a
> design choice. There can be a lot of reasons for that, for example (even
> though this was not Richard's situation AFAICT) not being the author of
> the data structure you want to decorate.

Yes. Laterally, the point can be addressed by making library writers aware of 
the points that I made. I think Markus Mottl once said that all libraries 
should include phantom types...

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
OCaml for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/?e