Без заголовка

Но это очень старая тема -- "под каждый тип задачи свой язык" (то что там свои типы данных даже отдельно не обсуждалось). В чем пойнт? Автовыведение системы типов с проверками? Так весь хаскель об этом... Но волшебным оьразом оказывается что способов создать систему типов под конкретную задачу бесконечное множество и выживают только какие то эволюционно выжившие компромиссы коллективного творчества или там где есть жесткая диктатура "генерального конструктора". PS По сути проблема в создании метода эквивалентного PCA в котором можно "вращать систему координат" некой онтологии вводя новые понятия (в которых удобнее решать задачу).