Подскажите, пожалуйста, язык со следующими возможностями:
* динамическая типизация
* pattern matching
* некоторые функциональные возможности (фвп, замыкания)
Кроме того:
* наличие repl
* или встроенный в поставку редактор или режим для emacs
* популярность/востребованность языка не обязательна
Предполагается использовать для быстрого прототипирования. В голову приходят пока только Racket и Erlang. Может быть, что-то еще?