Come implementare un blocco try-catch nello schema?

Question

Sto cercando di implementare un blocco try-catch in schema usando il metodo (call-cc) ma non sono sicuro di come possa essere usato per quello. Non ho trovato alcun esempio.

E gli esempi trovati contengono solo la gestione degli errori, ma quello che voglio fare è: se si è verificato un errore, il programma di schema deve dare un messaggio all'utente (tramite display per esempio) senza sospendere il programma.

È possibile?

Answer 1

Dal momento che si desidera catturare tutti gli errori, come quelle sollevate da entrambe raise e raise-continuable avresti bisogno sia di un gestore di eccezioni (per gestire condizioni elevate) e una continuazione di uscita (per evitare di continuare conCorpo). sintassi semplice per try sarebbe:

(import (rnrs base)   ; define-syntax 
     (rnrs exceptions))  ; get `with-exception-handler` 

(define-syntax try 
    (syntax-rules (catch) 
    ((_ body (catch catcher)) 
    (call-with-current-continuation 
     (lambda (exit) 
     (with-exception-handler 
     (lambda (condition) 
      catcher 
      (exit condition)) 
     (lambda() body))))))) 

Questo viene utilizzato come, ad esempio:

> (try (begin (display "one\n") 
       (raise 'some-error) 
       (display "two\n")) 
    (catch (display "error\n"))) 
one 
error 
some-error  # the return value. 

Nota: questo è R6RS (e R7RS) Scheme.

Answer 2

In genere si utilizza il modulo with-handlers. Ciò consente di visualizzare un messaggio di errore o eseguire qualsiasi altra azione prima di restituire un valore.

#lang racket 

(define (foo x) 
    (with-handlers ([exn:fail? (lambda (exn) 
           (displayln (exn-message exn)) 
           #f)]) 
    (/ 1 x))) 

(foo 1) 
; 1 
(foo 0) 
; "/: division by zero" 
; #f 

Se davvero si vuole utilizzare una continuazione diretta per qualche motivo, è possibile utilizzare call/ec per un errore/fuga prosecuzione invece del generale call/cc.

Documenti:

• with-handlers

• call/ec