Без заголовка
Это был как раз мой тезис: любой тьюринг-полный язык можно использовать для представления данных/схем данных и программирования с оными. Даже машинные коды, даже бейсик. Не шибко практично, но годно.
Я под годно имел в виду, что это экономит трудо затраты. Т.е. в Хаскелле можно относительно легко запрограммировать кодогенерацию, управляюмую этими схемами. Что даст выигрыш в сравнении с ручным написанием и переписыванием кода под изменившиеся схемы. Не каждый программер сможет, но есть такие которые могут.
На бейсике тоже конечно можно так сделать, но трудозатраты не окупаются. По сути мы тут должны сделать внешний DSL с помощью бейсика, для чего он кагбэ не очень приспособлен.
А Хаскел - язык который позволяет делать как интернал так и экстернал ДСЛи достаточно гибко и удобно.