Clojure

Вы таки будете смеяться, но Clojure мне, в некотором роде, кажется достаточно логично устроенным языком, несмотря на то, что код на нем выглядит реально как "исполняемый ASCII-art".
Алсо, он есть в вариантах под JVM и CLR.