Кто-нибудь пробовал clojure?
Посмотрел что там есть статическая типизация как в haskell, каналы и корутины как в go, унификация как в prolog, макросы как в racket!
И можно писать под android, браузер, сервер и gui!
Вроде всё круто, но хочется услышать вашего мнения.