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

Это был как раз мой тезис: любой тьюринг-полный язык можно использовать для представления данных/схем данных и программирования с оными. Даже машинные коды, даже бейсик. Не шибко практично, но годно. Но насчёт уровня развития -- тут развилка в рассуждении. Даталогическая проблематика может быть сформулирована в терминах математических (и тогда только тяжёлый-тяжёлый тренинг соответствующего раздела математики поможет), или в терминах какой-то подтверждённой экспериментами на обычных людях (это важно: не математиках, а обычных людях) теории понятий, а в математические теории только оттранслирована (отмэппирована). Как я понимаю, justy_tylor хочет пройти по второй "человеческо-понятийно" тропинке в развилке и затем оттранслироваться в математику (что труднее, это две разных задачи -- тут трудности первопроходца), а thesz готов идти по первой математической половинке (которую уже прошли хаскеловерные), но у него будут неминуемые трудности вести за собой толпы людей (тут нет трудности первопроходства, но есть огромные дидактические трудности со всеми остальными). Ежели взять общие трудозатраты людского времени, то путь thesz менее оптимальный: даже если justy_tylor потратит на свои исследования десять человеко-лет, эти затраты легко окупятся на снижении образовательного ценза на год для первых же десяти пользователей его языка.