В личных исследовательских целях разыскивается язык удовлетворяющий следуюзим требованиям:

1) наличие функций высшего порядка [читать - ф-циональшина нужна]
2) сопоставление с образцом [без pattern matching'а скучно, да]
3) поддержка императивщины [/me помнит что на некоторых алгоритмых чистая ф-циональшина проигрывает императивщины из-за отсутсвие разрушаемых структур]
4) поддержка обобщеннго программирования

Остальное не так критично. Но хотелось бы чтобы работало побыстрее ruby.

В lisp'е [а так же питоне и smalltalk'е] нет паттерн-матчинга. Во-всяком случае из коробки. Может для lisp'а есть какая либа которая её предоставляет.
В ocaml'е с обобщенным программированием туго [не, ну о каком обобщенном может идти речь если  даже для сложения int'ов и float'ов используются разные операторы?].

В какую сторону all посоветует смотреть? Я пока гуглю клонов лиспа, в которых pattern matching есть из коробки.

На ум приходят только Scala, F#, Nemerle. Без JVM/.NET сколько-нибудь известного языка под эти требования не припомню.

за Scala спасибо, выглядит хорошей штукой.


когда я смотрел её в последний раз, мне запомнилось что если в compile time время проводить расчеты и что-то пойдет не так, то вываливалось очень страшная и пугающая internal error. так-то оно наверное и надо, но все равно пугает.

Кроме уже упомянутого F# можно ещё посмотреть Oz. Первые три пункта точно имеются, да и 4 должен быть. Ибо, если верить источнику знаний, это самый навороченный язык - восьмипарадигменный!