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-16 (14:54)
From: Markus Mottl <markus.mottl@g...>
Subject: Re: [Caml-list] Weak hash table for attaching extra data to an object
On 8/14/07, Jon Harrop <jon@ffconsultancy.com> wrote:
> 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...

Well, I don't know in what context I said this, but one can certainly
always create modules that are equivalent to another one with the
exception of some abstract type taking an extra type parameter.  This
extra parameter could then capture additional constraints on the use
of values of that type.  In that sense it is not necessary that every
library make use of phantom types.


Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com