English version
Accueil     Ŕ propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis ŕ jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml ŕ l'adresse ocaml.org.

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: 2007-08-15 (00:42)
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