про тайп чекер тоже инетресный вопрос. я из живых примеров видел только различные штуки типа spec, но они все проверяют структуры, никто не может проверять сигнатуры функций нормально. особенно если функция вовзращает функцию, если чекеры для лиспа где решена проблема проверок функций высших порядков?
Не знаю есть ли такие чекеры. В моем лиспе и лямбд с замыканием нету, соответственно нет таких проблем.
Наверное он неможет после это считаться функциональным, ну да ладно.