Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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