Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Is a Cow an Animal?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Remi VANICAT <vanicat@l...>
Subject: Re: [Caml-list] Is a Cow an Animal?
james woodyatt <jhw@wetware.com> writes:

> I borrowed a technique I learned here from Brian Rogoff that uses an
> abstract type with a contravariant type parameter for passing the type
> of energy a food object contains to an animal object that can eat it.
> (I wish I were smart enough to know the name for this technique.)
> 

the use of an abstract type with a covariant or contravariant type (or
even not variant) parameter, and where the actual implementation of
the type doesn't use this parameter (as in type 'a eater = int) is
often call phantom type.

one can read the very interesting mail about this in the archive of
this mailing list
http://caml.inria.fr/archives/200109/msg00097.html

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners