]> On Dec 16, 2003, at 3:13 PM, Nuutti Kotivuori wrote: > I am wondering, does OCaml provide any variant of being able to > bypass the normal function call and return discipline? There are many different things you could be referring to, some of which OCaml does have (exceptions), some of which it doesn't (coroutines, first-class continuations, generators etc.). > And if not, what are the chances of something like that seeing the > light of day in the future? Are there any fundamental problems in > OCaml that would make the implementation of such a thing exceedingly > difficult? First-class, capturable continuations are one of the things I often wish OCaml had, but implementing them efficiently would require significant changes to the execution model. SML/NJ has efficient first-class continuations, so it's clearly possible, even in the presence of native compilation and exceptions. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners