Version française
Home     About     Download     Resources     Contact us    
Browse thread
Caml Special Light 1.11
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe Raffalli <raffalli@c...>
Subject: Re: Caml Special Light 1.11


> * Streams and stream parsers a la Caml Light are back (thanks to
> Daniel de Rauglaudre).

Yes, many thanks to him !

> * User-level concurrent threads, with low-level shared memory primitives
>  (locks and conditions) as well as channel-based communication primitives
>  with first-class synchronous events, in the style of Reppy's CML.

Is it possible to kill a thread as an alternative to Control-C (when we want
to do something that might loop or be too long one put it in a thread so that
it can be interrupted by the user ?

----
Christophe Raffalli
Dept. of Computer Sciences
Chalmers University of Technology

URL: http://www.logique.jussieu.fr/www.raffalli