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
[Caml-list] Mixed class / type
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-02-04 (02:40)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] Mixed class / type
From: Hendrik Tews <tews@tcs.inf.tu-dresden.de>

> The real solution would be to allow variant types and classes (or
> at least class types) to be mutually dependent. 
> Why is this forbidden in ocaml?

The first reason is technical: class types and type declarations are
handled in two different modules, and integrating them would not be

But there are also more theoretical problems.
Basically, recursion between class types is monomorphic (to allow
propagation of type constraints), while it is polymorphic between type
declarations. So the meaning of a combined declaration is yet to be


Jacques Garrigue
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr