человеческий злоязык

[metaclass]

Проектирую базу данных для опердени. Документация, описывающая базу, получается сильно больше, чем скрипт генерации базы.
Когда же у нас будут системы типов, которые позволят генерировать из одного исходника и базу и ее миграцию и документацию заодно?

Comments

[gds.livejournal.com]

не обязательно представлять это в виде системы типов. Конечно, оно должно быть compile-time, но его предназначением должно быть не только ограничение множества значений, принимаемых "переменными" (для чего и нужна типизация), но и способ из одного полного описания сгенерировать много разных вещей. То есть, если доверять этой преобразовалке, то и типизация не нужна.

Нижеописанный подход ни в коем случае не рекомендую, но опишу его на всякий случай. Для кое-чего похожего я буду делать таким образом: имея одинаковый код (s-выражения), буду подставлять им разное окружение, в результате чего код будет вычисляться в то, что мне нужно. А нужно мне сейчас, например, 1. проверка семантики (s-выражениями можно описать всё, но не все выражения будут валидными), 2. преобразование в нужный формат (пока -- тупой хтмл).

[mibori.livejournal.com]

Что такое "невалидное S-выражение"?

[gds.livejournal.com]

речь про валидность s-выражений в пределах моего языка.