В соседней темеGaperton предложил рассмотреть вариант
языка Haskell с агрессивным выполнением по умолчанию
и опциональной аннотацией ленивости:
http://www.rsdn.ru/Forum/Message.aspx?mid=3224952&only=1

Автор: Gaperton
Дата: 23.12.08

Язык Pure динамически типизированный,
но в остальном, как мне кажется, похож на предложенный вариант:
— синтакис близок к Haskell (включая карринг, лямбды, сопоставление с образцом, list comprehensions, "as" patterns);
— аннотация ленивости делается добавлением одного символа (&). Модель ленивости основана на продолжениях и заимствована из языка Alice ML.

Прочие интересные особенности:
— модель исполнения основана на идее "term rewriting";
— допускает функции с побочными эффектами (название языка, скорее, относится к синтаксису, не перегруженному ограничениями системы вывода типов);
— реализация под LLVM (правда, пока сыроватая);
— опциональная аннотация типов;
— кроме списков есть матрицы и векторы (работает list comprehensions), а также интеграция с GSL;
— встроенный regex.

Сам я знакомился с языком поверхностно, если что, поправьте.