Толочь воду в ступе

[swizard]

Пост навеян свежим ПФП. Статья про circumflex, вот этим вот:

// Выбрать все города Швейцарии, вернуть Seq[City]:
SELECT (ci.*) FROM (ci JOIN co) WHERE (co.code LIKE ”ch”)
ORDER_BY (ci.name ASC) listСтоило ли огород городить, если на выходе всё равно получается нечто, что

Comments

[thedeemon]

Хм. Я так понимаю, есть три сущности: 1) код на языке Х, 2) SQL запросы и 3) база. В одном случае нам гарантируют консистентность 1 и 2, а в другом обеспечивается согласованность 1-2-3 в момент сборки, но в рантайме согласованность 2 и 3 все равно никто не гарантирует, т.к. база может меняться. К вопросу статической или динамической типизации это вообще не относится. Никто не мешает в статическом случае добавить проверку соотвествия 1-2 и 3 в момент сборки или, что еще лучше, в момент запуска программы.

[swizard]

> но в рантайме согласованность 2 и 3 все равно никто не гарантирует, т.к. база может меняться

Но почему же, в лиспе можно отловить ошибку и (если изменения были минорными) прямо в рантайме перекомпилировать необходимые классы и методы.

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

[rastafarra]

> править проект надо во всех местах руками.

а все места --- это какие?

[swizard]

Где выполняются типизированные запросы к бд и из результатов конструируются объекты языка

[rastafarra]

это вроде собрано обычно и лазить "по всем местам" --- это не так далеко, не?

[swizard]

Не

[thedeemon]

>отловить ошибку и (если изменения были минорными) прямо в рантайме перекомпилировать необходимые классы и методы.

Это нужно уж совсем минорные изменения и сильно умную программу.

>А вот кодогенератор не только гарантирует консистентность, он еще и берет на себя эту рутину.

Да, метапрограммирование/кодогенерация тут рулят, с этим не спорю. Просто к вопросу типизации это не относится. Ребе метакласс вон на статически типизированнх языках так генерит себе свои опердени.

[swizard]

Да я разве что говорю, генерить опердень можно и на шелл-скриптах :) Это как раз правильный подход для обеспечения консистентности. А неправильный -- это типизировать SQL-запрос.

[rigidus]

Спасибо за пост и комменты - я взял на вооружение этот подход и теперь очень доволен - меньше времени сижу за оперденью - больше времени катаюсь на мотоцикле :)
Спасибо!