Version française
Home     About     Download     Resources     Contact us    
Browse thread
Recursion, exception and continuations
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Tarizzo Martial <tarizzo@w...>
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
*********************************