From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA21062 for caml-red; Mon, 18 Dec 2000 15:43:32 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA23564 for ; Fri, 15 Dec 2000 19:38:12 +0100 (MET) Received: from suburbia.net (suburbia.net [203.4.184.1]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eBFIc9X25188 for ; Fri, 15 Dec 2000 19:38:10 +0100 (MET) Received: by suburbia.net (Postfix, from userid 110) id C0BB26C4D6; Sat, 16 Dec 2000 05:37:57 +1100 (EST) To: Chet Murthy Cc: Dave Berry , STARYNKEVITCH Basile , caml-list@inria.fr Subject: Re: callcc/cps-style programming References: <3145774E67D8D111BE6E00C0DF418B6638D1D3@nt.kal.com> <200012131636.LAA02306@bismarck-chet.watson.ibm.com> Cc: proff@iq.org From: Julian Assange Date: 16 Dec 2000 05:37:56 +1100 In-Reply-To: Chet Murthy's message of "Wed, 13 Dec 2000 11:36:55 -0500" Message-ID: User-Agent: Gnus/5.0802 (Gnus v5.8.2) XEmacs/21.1 (Big Bend) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: weis@pauillac.inria.fr Chet Murthy writes: > Stuff like: > > (i) allocating memory in the middle of a finalizer -- e.g., a > finalizer which is pushing some reusable resource onto some stack > (and the stack needs to be grown) > > (ii) locking some object in a finalizer, which can also be locked by > some thread that which would allocate memory with that lock held. > > (iii) SMP-unsafe code galore -- race conditions, memory-incoherence, > thrash-prone code. If code is written in a functional manner, almost all of these problems disappear. This is why functional languages and concurrency dovetail so nicely together. Further, in some cases you can use concurrency to hide state changes; allowing one to write functional code where previously it was unatural to do so. -- Julian Assange |If you want to build a ship, don't drum up people |together to collect wood or assign them tasks proff@iq.org |and work, but rather teach them to long for the endless proff@gnu.ai.mit.edu |immensity of the sea. -- Antoine de Saint Exupery