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

>Это был как раз мой тезис: любой тьюринг-полный язык можно использовать для представления данных/схем данных и программирования с оными. Вы не удосужились прочитать мой пост, и зря. Пост был о том, что представление схем данных и программирование с оными производится на метауровне. На типах задаются аксиомы и теоремы о структурах данных, которые используются при доказательстве других теорем (сиречь при программировании). Вот это уже не возможно выразить в любом Тьюринг-полном ЯП, даже на ассемблере. И, кстати, отвечая на ваш другой комментарий: Пролог (программирование в ограничениях) давно уже существует в виде библиотеки на Хаскеле. Вообще, многое из языковых конструктов обычных ЯП в Хаскеле выражается в виде библиотек.