> Попоробуйте Racket. Довольно забавная книжица у них по лиспу, и сам он
> местами прикольный.
> Есть типизированная версия (typed racket).

Спасибо, но скобочки меньше в глазах рябить не станут. Сравните сами:

(defun fact (n)
  (cond
    ((= n 1) 1)
    (t (* n (fact (- n 1))))))

(define (fact n)
  (cond [(zero? n) 1]
        [else (* n (fact (- n 1)))]))

fact {
   0  = 1;
   s. = <* s. <fact <- s. 1>>>; /* можно и привычно <s. * <fact <s. - 1>>> */
}