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

Согласен с thesz Haskell, для представления данных и схем-данных используют, но сие не мейнстримовско просто. По понятным причинам, которые даже лень вспоминать. Вообще говоря, любой (многие) язык ориентированный на EDSL'и и/или мета-программирование можно использовать для представления данных/схем-данных и программирования с оными. Собсно для этого (но только в более широком контексте) они и создавались. Они может не шибко практичные будут по разным причинам, но годные вполне. Понятно, однако, что для этого нужен определенный уровень развития, причем даже скорее не как программиста, а как ученого. Т.е. в кругозор кроме программирования должна и даталогическая проблематика в том или ином виде входить. А ежели программер типа кодер, то чего тут ожидать-то.