Common Lisp restarts and module incapsulation

> Не пойму, как разработчики узнают какие есть restart'ы при вызове

к.-н. функции из стороннего закрытого модуля.

Читают документацию?

функции должны экспортировать возможные рестарты

Это не реалистично (примерно как с throw в C++). Да и зачем?

throws-спецификации попросту не будут работать в CL. Например, для функции funcall нельзя указать, какие conditions могут быть сигнализированы при вызове функции funcall, и какие рестарты будут доступны.

Узнают следующими способами:

1) Из экспериментов в REPL

2) Из документации

3) Из исходников

>> Не пойму, как разработчики узнают какие есть restart'ы при вызове

к.-н. функции из стороннего закрытого модуля.

Читают документацию?

А если в статически типизированном языке сделать рестарты, то как можно всё это описать? Чтобы при изменении модуля, если удалили рестарт, то при компиляции выдавал ошибку у меня.

Похожий механизм описан в книге Yemini S., Berry D. A Modular Verifiable Exception-Handling Mechanism (http://se.uwaterloo.ca/~dberry/FTP_SITE/reprints.journals.conferences/YeminiB...). Но там нет такой возможности: если идёт последовательность вызовов A -> B -> C -> D, в ф-ции C есть c-restart и при ошибке в D, то A решает продолжить с точки c-restart. Или не так просто сделать, как в CL.