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] ocaml killer
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-01-29 (18:08)
From: Martin Berger <martinb@d...>
Subject: Re: [Caml-list] ocaml and concurrency

> In Java, inner classes could give you (a clumsy form of) closures as 
> well, but they don't (since they may not capture non-static variables).

on the subject of inner classes i always wonder if they can be used
to implement existential quantification, because i can pass instantiations
to the environment, but the receiver cannot do anything with them except
(1) using them according to their external spec, (2) discard them or (3)
return them. but when are returned, i can use them according to their full
type. like existentials ...

martin


-------------------
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