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 BAA10006; Fri, 30 Jan 2004 01:17:46 +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 BAA09962 for ; Fri, 30 Jan 2004 01:17:45 +0100 (MET) Received: from post.it.helsinki.fi (post.it.helsinki.fi [128.214.205.132]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i0U0HiP15795 for ; Fri, 30 Jan 2004 01:17:44 +0100 (MET) Received: from la.iki.fi (kruuna.helsinki.fi [128.214.205.14]) by post.it.helsinki.fi (8.12.10/8.12.10) with ESMTP id i0U0Hfd6020458; Fri, 30 Jan 2004 02:17:41 +0200 (EET) Received: from la by la.iki.fi with local (Exim 3.36 #1 (Debian)) id 1AmMNn-0001ID-00; Fri, 30 Jan 2004 02:19:39 +0200 Date: Fri, 30 Jan 2004 02:19:37 +0200 From: Lauri Alanko To: caml-list@inria.fr Subject: Re: [Caml-list] ocaml and concurrency Message-ID: <20040130001937.GA1224@la.iki.fi> 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> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <401948F2.7000500@ps.uni-sb.de> User-Agent: Mutt/1.5.3i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lauri:01 alanko:01 caml-list:01 2004:99 rossberg:01 closures:01 java's:01 ocaml's:01 closures:01 clumsy:01 lauri:01 alanko:01 ocaml:01 handler:01 inner:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Jan 29, 2004 at 06:54:58PM +0100, Andreas Rossberg wrote: > Martin Berger wrote: > > > >wouldn't you say that the lack of real closures is a consequence > >of java's lack of a proper function space arrow, rather than a > >separate issue? i don't see how you could have ocaml's full ---> > >without real closures, but maybe i'm missing something. > > 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). Yes they can, though only if the variables are declared final (for obvious reasons). See JLS 8.1.2: Any local variable, formal method parameter or exception handler parameter used but not declared in an inner class must be declared final, [...] Lauri Alanko la@iki.fi ------------------- 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