Я пытаюсь загрузить и использовать функцию из другого модуля во время выполнения. Проблема заключается в том, что диапазон dynamic-require, Any, не может быть приведен к более конкретному (функциональному) типу. test.rkt: # ...

В Clojure есть несколько интересных возможностей для представления типов, включая, помимо прочего, deftype, defprotocol, reify и extend. Каковы сходства и различия между типизацией ...