Обнаружил реализацию ещё одного ЯП:
https://github.com/carp-lang/Carp Похож на Clojure, но со статической типизацией из коробки.
Несколько отличается от Typed Racket. В Typed Racket даже
какой-то минимальный вывод типов встречается, пока не
понял есть ли такое в этом Carp-е.