Date: Sat, 9 Mar 1996 17:02:16 +0100
Message-Id: <199603091602.RAA19039@storm.certix.fr>
To: caml-list@pauillac.inria.fr
From: Tarizzo Martial <tarizzo@worldnet.fr>
Subject: Recursion, exception and continuations
Hello,
Here are some questions about CAML :
[1] Is tail recursion always handled correctly by CAML, i.e. in a constant
stack space ?
[2] Why is it not possible to define an exception locally, inside a
function. The Michel Mauny's tutorial seems to encourage the use of
exception as a control structure (a kind of common lisp catch/throw), but
it' annoying to be obliged to declare them at toplevel, which can then be
rapidly polluted by exception declarations (and naming can become difficult).
[3] I appreciate the type system of CAML, but is a such system compatible
with access to continuations, as it is possible to do in Scheme ?
Thanks for answers.
*********************************
Tarizzo Martial
Prof. Sc Physiques
Classes preparatoires
Lycee J MOULIN
57600 FORBACH
Email: tarizzo@world-net.sct.fr
74014.3307@compuserve.com
Compuserve : 74014,3307
*********************************