Recursion, exception and continuations

Tarizzo Martial (tarizzo@worldnet.fr)
Sat, 9 Mar 1996 17:02:16 +0100

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
*********************************