From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=DNS_FROM_RFC_ABUSE, HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 9BBF1BCC0 for ; Tue, 22 Aug 2006 23:15:56 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k7MLFt0B027595 for ; Tue, 22 Aug 2006 23:15:56 +0200 Received: by ug-out-1314.google.com with SMTP id e2so2098142ugf for ; Tue, 22 Aug 2006 14:15:55 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:references:x-google-sender-auth; b=Kdhp7ACxPJdQJaHfrrgesUuB8sxhdj2zzINuzVC15SbwkYQaBTFOjH1mpFWx6slwiYyH8ftHDHFQpUCUw0AsUFu+TnukWvLAWb0hLG2Dl2GOI8Ao1pMS1iKiiX4mDu1dGpnXhB8W2k1fPh6FxTTJqpb5AFusoojwrzceYn/uCfs= Received: by 10.67.24.13 with SMTP id b13mr4648626ugj; Tue, 22 Aug 2006 14:15:55 -0700 (PDT) Received: by 10.66.221.14 with HTTP; Tue, 22 Aug 2006 14:15:55 -0700 (PDT) Message-ID: <2a1a1a0c0608221415n22c769bcq430310eaf0a646c2@mail.gmail.com> Date: Tue, 22 Aug 2006 17:15:55 -0400 From: "Mike Lin" Sender: nilekim@gmail.com To: "Caml Mailing List" Subject: Re: [Caml-list] Re: Select on channels (again) In-Reply-To: <1156234507.5707.47.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_92047_23838278.1156281355462" References: <1156234507.5707.47.camel@rosella.wigram> X-Google-Sender-Auth: 431c5e247f6ed4bb X-Miltered: at nez-perce with ID 44EB740B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; mikelin:01 haskell:01 ocaml:01 model:01 ocaml:01 monadic:01 combinators:01 haskell:01 model:01 monadic:01 combinators:01 arbitrary:01 arbitrary:01 caml-list:01 natively:01 ------=_Part_92047_23838278.1156281355462 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline > > Several systems can work this way: Felix and Haskell both > have continuations, which seem to be the pre-requisite. > MLton may also cope with this. > > The Ocaml computational model doesn't provide the required > resources natively, although of course they could be implemented > in Ocaml .. but then you would be programming with, for example, > suitable monadic combinators, rather than arbitrary raw Ocaml code. It is not a completely impractical idea to just write everything in CPS. At least, it's been done before :-) ------=_Part_92047_23838278.1156281355462 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline
Several systems can work this way: Felix and Haskell both
have continuations, which seem to be the pre-requisite.
MLton may also cope with this.

The Ocaml computational model doesn't provide the required
resources natively, although of course they could be implemented
in Ocaml .. but then you would be programming with, for example,
suitable monadic combinators, rather than arbitrary raw Ocaml code.
 
It is not a completely impractical idea to just write everything in CPS. At least, it's been done before :-)
------=_Part_92047_23838278.1156281355462--