AK
Typed racket - это, как мне кажется, какой-то обман, чтобы набрать классы. Я его пробовал использовать, поведясь на обещания быстродействия (мол, компилятор выкидывает лишние проверки типов в рантайме), но на деле у него быстродействие такое же, как и у нетипизированного.
