Date: Mon, 18 Jan 1999 20:16:16 +0100
From: Jerome Vouillon <Jerome.Vouillon@inria.fr>
To: Markus Mottl <mottl@miss.wu-wien.ac.at>
Subject: Re: Problem binding type parameters in modules + subtyping and inheritance
In-Reply-To: <199901181707.SAA12530@miss.wu-wien.ac.at>; from Markus Mottl on Mon, Jan 18, 1999 at 06:07:56PM +0100
Hello,
> > To solve your problem, you may use functors:
> >
> > module type FOO1 = functor (M:sig type elt end) ->
> > sig
> > type foo
> > val empty : foo
> > end;;
> >
> > module Bar: FOO1 = functor (M:sig type elt end) ->
> > struct
> > type foo = M.elt list
> > let empty = id [];;
> > end;;
Another solution is to turn "empty" into a function :
module type FOO1 = sig
type 'a foo
val empty : unit -> 'a foo
end;;
module Bar : FOO1 = struct
type 'a foo = 'a list Lazy.t
let empty () = lazy []
end;;
-----------------------------------------------------------
> There just has to be a single, innocent looking class with the
> "'self"-type at the top of the inheritance hierarchie and it is impossible
> to coerce any of its descendants to any ancestor in the same line.
Actually, it is still possible to make the coercion when the type of
self only occur in covariant position (in particular, only on the
right sides of arrows) :
class c = object (self)
method m = self
end;;
class d = object (self)
inherit c
method n = 1
end;;
let x = (new d :> c);;
There is a difficulty with "binary methods", where self type occurs in
contravariant position :
class c = object (self : 'a)
method x = 1
method compare (o : 'a) = self#x = o#x
end;;
class d = object
inherit c
method y = 1
end;;
let x = (new d :> c);; (* Fails *)
However, you can coerce to a common supertype of c and d which has no
method "compare" :
class type c' = object
method x : int
end;;
let l = [(new c :> c'); (new d :> c')];; (* Succeeds *)
-- Jérôme
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:18 MET