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: james woodyatt <jhw@w...>
Subject: Re: [Caml-list] ocaml and concurrency
On 29 Jan 2004, at 08:56, Andreas Rossberg wrote:
> Martin Berger wrote:
>>>  Nothing? Did you forget about the possibility to code without
>>> side effects?
>> you have this possibility in java too, albeit less conveniently
>> due to lacking type expressivity.
>
> And even more so due to the lack of real closures, and tail calls. You 
> are practically bound to stateful loops and iterators in Java and 
> similar languages.

Not to mention the happy fact that the library of reuseable code in 
Java, widely touted as "extensive and rich," is heavy with side 
effects.  Unless you want to rewrite the world to get rid of side 
effects, you're stuck trying to wrap imperative code in functional 
wrappers-- a trick not easily done without using the continuation 
monad.

I can't even *imagine* what the continuation monad looks like in Java.  
Does anyone have an example?


-- 
j h woodyatt <jhw@wetware.com>
that's my village calling... no doubt, they want their idiot back.

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