ORM и системы типов
Jan. 12th, 2010 10:22 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
metaclassПонял, почему меня всегда так бесят сабжи, и почему всегда хочется "сделать по своему, с преферансом и гимназистками".
Вообще ORM это попытка скрестить ужа и ежа, т.е. гонять данные из одной системы типов в другую. Мало того, что это само по себе печально, так еще обычно и первая и вторая системы типов страдают унылостью, да еще и по разному в разных СУБД и языках программирования.
Т.е. нормальный ORM должен быть сделан либо на некоем общем подмножестве всего что есть(которое или пустое или настолько мелкое что ничего не даст сделать) или использовать достаточно мощную систему типов, которая бы позволила имитировать работу и СУБД и объектных языков и без особого напряга подстраиваться к ним.
А без этого получается имитация ужей методом сцепления ежей в списки или имитация ежей методом скручивания ужа в шар и протыкания иголками. А нужен ежеуж или ужеёж, с которым с одной стороны смогли бы совокуплятся в свое удовольствие ужи, а с другой - ежи.
PS: Да, хорошее было бы название для фреймворка - snagehog :)
Вообще ORM это попытка скрестить ужа и ежа, т.е. гонять данные из одной системы типов в другую. Мало того, что это само по себе печально, так еще обычно и первая и вторая системы типов страдают унылостью, да еще и по разному в разных СУБД и языках программирования.
Т.е. нормальный ORM должен быть сделан либо на некоем общем подмножестве всего что есть(которое или пустое или настолько мелкое что ничего не даст сделать) или использовать достаточно мощную систему типов, которая бы позволила имитировать работу и СУБД и объектных языков и без особого напряга подстраиваться к ним.
А без этого получается имитация ужей методом сцепления ежей в списки или имитация ежей методом скручивания ужа в шар и протыкания иголками. А нужен ежеуж или ужеёж, с которым с одной стороны смогли бы совокуплятся в свое удовольствие ужи, а с другой - ежи.
PS: Да, хорошее было бы название для фреймворка - snagehog :)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2010-01-12 11:30 pm (UTC)Очень интересно бы вывести что-то, позволяющее декларативно их описывать, наподобие Linq. Причем поддерживающее денормализованные данные.
Только мне что-то подсказывает что это будет очень страшная фиговинка поначалу... но потенциал очень интересный.
no subject
Date: 2010-01-13 12:52 am (UTC)no subject
Date: 2010-01-13 02:58 am (UTC)no subject
Date: 2010-01-13 08:38 am (UTC)no subject
Date: 2010-01-13 11:23 am (UTC)например, от того что человек переименовался в твоем контакт-листе, не должна нарушаться идентити и скажем распадаться метаконтакт на отдельные способы связи с человеком. типа такого.
no subject
Date: 2010-01-13 11:57 am (UTC)no subject
Date: 2010-01-13 02:02 pm (UTC)no subject
Date: 2010-01-13 12:54 am (UTC)она и reflection - две краеугольные проблемы любой сложной системы.
no subject
Date: 2010-01-13 02:56 am (UTC)no subject
Date: 2010-01-13 02:13 pm (UTC)no subject
Date: 2010-01-13 04:11 am (UTC)no subject
Date: 2010-01-13 08:36 am (UTC)no subject
Date: 2010-01-13 11:58 am (UTC)Что касается баз - та их можно вынести в отдельные DB Provider-ы, которые выдают наружу 4 метода для работы с данными (select, insert, update, delete), три для транзакций (begin, commit и rollback), и умеют мапить типы языка в базу (тобишь кто-то будет мапить Guid в uniqueidentifier, кто-то в char(64)). Плюс орм должен позволять навешивать на поля кастомные value converter, который позволяет сконвертировать тип поля в один из стандартных языковых и наоборот. Этого достаточно чтобы покрыть если не все, то хотябы большую часть различных ситуаций.
no subject
Date: 2010-01-13 12:06 pm (UTC)Вот чего реально не хватает в ADO - так это получения истинного типа селекта от сервера, т.е.
Параметр1 -> Параметр2 -> (Поле1,Тип,ИсточникДанных) -> (Поле2,Тип,ИсточникДанных) ..
В принципе, источник данных тут является частью типа, но система типов у SQL не настолько мощная, чтобы это описать.
Это все к чему - я обычно отчеты всякие описываю sql запросом, и если сервер возвращает такую информацию - практически весь гуй для отчета можно сгенерировать автоматически. А сейчас приходится к запросу еще дописывать вручную список параметров.
А насчет простых value converter - у типов в БД в некотором роде более сложная семантика, чем у жабо-дотнетовских - всякие там уникальные значения, внешние ключи, not null и check constraints. Поэтому обязательно вылезет какая-нибудь шиза, типа "проверить все ли правильно, можно только попытавшись сохранить в базу". А если база сидит за миддл-тиером это вырождается в тусование туда-сюда данных и сообщений об ошибках, что в отсутствие алгебраических типов данных сильно вгоняет в уныние.
no subject
Date: 2010-01-13 03:35 pm (UTC)Это, мы говорим об ORM или об ADO. Для orm ado это не более чем ещё один db provider.
> "проверить все ли правильно, можно только попытавшись сохранить в базу".
А это независимо от того пользуете ли вы орм, или напрямую инсерты делаете. Другое дело что всю эту кухню с проверками можно вынести на уровень того же орма, в каком-нить обработчике OnSaving плюс описать атрибутами чтобы орм правильную схему сгенерил.
no subject
Date: 2010-01-13 02:54 pm (UTC)no subject
Date: 2010-01-13 02:57 pm (UTC)no subject
Date: 2010-01-13 09:22 am (UTC)no subject
Date: 2010-01-13 09:32 am (UTC)no subject
Date: 2010-01-13 09:35 am (UTC)трахаешься с тредами, синхронизацией и ликамидумаешь о возвышенном, а к тебе с "в таблице такой-то индекс сякой-то не проставлен". .ля-.ля-.ля, ну ставьте там что нужно, ну не виноватая я что фреймворк чего-то недопроставил. При этом, естественно, такого объекта то не существует, это таблица чисто для обеспечения того самого межвидового скрещивания с водвыподвертом.no subject
Date: 2010-01-13 10:58 am (UTC)no subject
Date: 2010-01-13 11:56 am (UTC)А невозможность ORM нам говорит как раз о том, что к нему подходят не с той стороны.
no subject
Date: 2010-01-14 05:36 am (UTC)Таблица - это хэш бесконечного размера, для которого должны быть дополнительно введены операции, обеспечивающие транзакционную целостность
(Её, впрочем, и для обычных переменных можно было бы обеспечивать) и который должен существовать в режиме сохранения значений между прогонами программы.
Всё. Никаких SQL-ей и прочей DBMS-специфичной погребени - точнее, она уходит на уровень драйвера СУБД, в который нормальные, чоткие пацаны в среднем не лазиют и не используют базоспецифичные обращения.
no subject
Date: 2010-01-14 08:00 am (UTC)доставило! спасибо.
зы я не доктор Х. но ФП головного прогрессирует xD
no subject
Date: 2010-01-14 01:11 pm (UTC)Взять, и, бережно держа,
Напихать в него иголок -
Вы получите ежа.
Если этого ежа,
Нос заткнув, чтоб не дышал,
Где поглубже, бросить в речку -
Вы получите ерша.
Если этого ерша,
Головой в тисках зажав,
Посильней тянуть за хвост, то
Вы получите ужа.
Если этого ужа,
Приготовив два ножа...
Впрочем, он, конечно, сдохнет.
Но идея хороша.
no subject
Date: 2010-01-15 05:44 am (UTC)