Подскажите мощный term-rewriting language, чтобы можно было решать те же (как минимум) задачи, что и на Хаскелле, с той же лёгкостью. С ненапряжным синтаксисом и repl'ом, не требующий емакса. И с хорошими туториалами (математической тематики). С быстрым компилятором. Ну и чтобы вообще всё было.
Требования перечислены в порядке убывания важности.
Да, забыл сказать, я не некрофил.
