Version française
Home     About     Download     Resources     Contact us    
Browse thread
Classe recursive et heritage
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Sylvain BOULM'E <Sylvain.Boulme@l...>
Subject: Re: Classe recursive et heritage
Bonjour,

En fait, ce que vous demandez, existe deja : on peut designer
le type de "self" par une variable de type

ie class ('a)tree (g:'b) (d:'b) as self :'b =

On n'a meme une syntaxe plus legere quand on n'a pas besoin
du "self":

class ('a)tree (g:'b) (d:'b) :'b =
  val fg = g
  val fd = d
end;;

class ('a)labelled_tree g d (i:int)=
  inherit ('a)tree g d
  val un_entier = i
end;;


Cordialement,

Sylvain.