Есть такая проблема, что описания различных алгоритмов приводятся в самой разной форме: псевдокод, С++, набор формул и слов.
Наиболее продвинутые математические библиотеки в основном написаны на С++. Понять суть алгоритма из сорцов — довольно непросто.
Отсюда возникает вопрос — почему до сих пор нет нормального языка, или Expression Tree с врьируемым синтаксисом, который бы позволил описывать алгоритмы в терминах математики, а не типов данных конкретных языков, платформ?
Или я ошибаюсь?
Как бы было здорово иметь библиотеку с описанием алгоритмов в терминах одного Expression Tree, выражения которого легко бы было транслировать в другие языки, специфицировать под конкретные типы данных, отображать в удобочитаемой раскрашеной цветами радуги форме.

Есть у кого предложения на данную тему?
Интересует главным образом Expression Tree, синтаксис не имеет значения.