English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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