text: Вот пример факториала на Typed Racket, диалекте со статической типизацией: #lang typed/racket (: fact (Integer -> Integer)) (define (fact n) (cond )) Режим совместимости со стандартом языка Scheme выбирается директивой #lang R6RS или #lang R5RS, соответственно.