From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA21507; Thu, 29 Jan 2004 19:08:39 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA21599 for ; Thu, 29 Jan 2004 19:08:37 +0100 (MET) Received: from mail.dcs.qmul.ac.uk (vicar.dcs.qmul.ac.uk [138.37.88.163]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i0TI8bP28105 for ; Thu, 29 Jan 2004 19:08:37 +0100 (MET) Received: from xenografia.plus.com ([212.159.85.26] helo=dcs.qmul.ac.uk) by mail.dcs.qmul.ac.uk with asmtp (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.30) id 1AmGaj-00059L-DC; Thu, 29 Jan 2004 18:08:37 +0000 Message-ID: <40194C06.8060608@dcs.qmul.ac.uk> Date: Thu, 29 Jan 2004 18:08:06 +0000 From: Martin Berger User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.1) Gecko/20031114 X-Accept-Language: en, en-us MIME-Version: 1.0 To: Andreas Rossberg CC: The Trade Subject: Re: [Caml-list] ocaml and concurrency References: <20040127063230.GA12482@inv_machine> <200401282326.i0SNQntl004612@bismarck-chet.watson.ibm.com> <97908806-5238-11D8-8975-000393B8133A@wetware.com> <4018E282.2040404@dcs.qmul.ac.uk> <401930C6.8060907@dcs.qmul.ac.uk> <40193B59.9050700@ps.uni-sb.de> <40194644.9060308@dcs.qmul.ac.uk> <401948F2.7000500@ps.uni-sb.de> In-Reply-To: <401948F2.7000500@ps.uni-sb.de> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Auth-User: martinb X-clamav-result: clean (1AmGaj-00059L-DC) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 clumsy:01 closures:01 existential:01 existentials:01 ocaml:01 inner:02 inner:02 discard:02 external:03 classes:03 classes:03 implement:05 variables:06 type:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > 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