Коньцепция

[metaclass]

А вот скажите, существует ли где-нибудь в академических эмпиреях компутер сайенс такая вещь, как эволюционирующие типы?

Т.е. к примеру, выпустили мы прогу-опердень, проработала она пару лет, база 10 гиг, данные набиты и тут "срочно-нах-вчера-постановление-вышло" нужно добавить какой-нибудь адский функционал по учету продаж лифчиков разного размера в зависимости от фаз луны, а у нас полей с фазой луны нигде нет и нужно его добавлять и при этом надеятся что все нахрен не поломается. Причем не поломается не только у нас при разработке, а и при миграции со старой версии на новую.

Так вот, тут бы не помешала бы какая-нибудь жосткая проверка корректности этого дела, аналогичная статической типизации, но чтобы до часа Ч типы и функции был одни, а после - другие, да еще с обязательной проверкой что для всех данных уже существующих в системе есть корректные функции миграции.

Comments

[freiksenet.livejournal.com]

Второй пост вижу выражение "опердень". Что это значит?

[metaclass.livejournal.com]

"Операционный день" - условное обозначение для всех бухгалтерских, складских и прочих программ, которые на 99% состоят из ввода разнообразных первичных данных и вывода печатных отчетов. Из сокращения превратилось в имя собственное в процессе срача на тему функциональных языков у plumqqz
Я этим классом программ занимаюсь лет 13 уже, и конца края этому не видно :)

[freiksenet.livejournal.com]

Сочувствую )

Спасибо за объяснение )

[alexott.livejournal.com]

оно имя собственное уже много лет :-)