Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
RE: callcc/cps-style programming
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-12-15 (12:51)
From: T. Kurt Bond <tkb@t...>
Subject: Re: callcc/cps-style programming
Chet Murthy writes:
> I'm not saying that threads are bad.  Rather, what I'm saying is,
> there is little need, in a language like CAML, for _user-level_
> threads.  Kernel threads, you need, for talking to DB2 or Oracle.
> Period.  But user-level threads, implemented in the language, don't
> give you much value.  Much better to do some sort of explicit (perhaps
> semi-automated) CPS-conversion, and use an event-dispatcher.
> Amongst other things, at least, you'll never have to worry about being
> time-sliced where you didn't expect it.

Hmmm.  Well, try telling the Erlang folks that super-lightweight
user-level processes aren't useful.  Or the Gambit Scheme folks: their
next release has lightweight threads built on call/cc.  (Note: these
two things may be related.)
T. Kurt Bond,