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
Select on channels (again)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-08-22 (21:15)
From: Mike Lin <mikelin@m...>
Subject: Re: [Caml-list] Re: Select on channels (again)
> 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 :-)