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

Ежели взять общие трудозатраты людского времени, то путь thesz менее оптимальный: даже если justy_tylor потратит на свои исследования десять человеко-лет, эти затраты легко окупятся на снижении образовательного ценза на год для первых же десяти пользователей его языка. Просто есть уже реальные проекты - т.е. языки типа Хаскела, Скала, Меркури, Лисп (например Racket), Руби, F-Logic + возможно еще какие-то по вкусу, которые кагбэ не для всех, но задачу реализуют. Можно пытаться упростить порог для них, и задача достаточно очевидная - после попыток заюзать вышеупомнятое в обычном проекте. Но совершенно неочевидно насколько и как она решаема в плане снижения входного барьера на уровне математичности мышления.