Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
☝️Вице-премьер правительства Испании и министр труда Йоланда Диас (на фото) официально объявила, что не будет баллотироваться на выборах 2027 года и не возглавит новую левую коалицию, которая должна прийти на смену бренду Sumar, сообщает El Mundo. Она подчёркнула, что её решение «очень обдуманное».
По оценке El Mundo, она «уступает внутреннему давлению» со стороны партнёров по пространству Sumar, которые требовали обновления лиц и стратегии. Внутри Movimiento Sumar, Izquierda Unida, Más Madrid и Comuns уже давно зрело убеждение, что «обновление должно начаться с самого лидерства» после того, как проект Диас не смог объединить весь левый фланг и оказался измотан внутренними конфликтами и разрывом с Podemos.
▫️Новая коалиция (вокруг Movimiento Sumar, Izquierda Unida, Más Madrid и Comuns) теперь вынуждена искать новое лицо и новый баланс сил перед выборами 2027 года: отказ Диас снимает неопределённость, но одновременно открывает борьбу за наследие проекта, который в 2023 году сумел собрать 31 мандат и обеспечить коалиционное правительство с PSOE.
@amigokonon#partidos#Sumar
Тем временем государственный Центр социологических исследований (CIS) опубликовал сегодня результаты февральского опроса общественного мнения, по которому социалисты значительно наращивают свой отрыв от оппонентов-консерваторов. По оценке CIS, правящая партия PSOE набирает 32,6% голосов, тогда как оппозиционная Partido Popular — всего 22,9%, и разрыв между ними увеличивается уже до 9,7 пункта (месяц назад было 8,7 пункта).
Ультраправая партия Vox, согласно опросу, показывает 18,9% (на прошлых всеобщих парламентских выборах она набрала 12,39% голосов избирателей). Левая платформа Sumar теряет две десятые доли процента, продолжая тенденцию постепенного ослабления на левом фланге.
▫️Многие в Испании относятся к данным государственной социологической службы CIS не как к «нейтральной статистике», а как к ещё одному инструменту политической борьбы. Правая оппозиция систематически критикует CIS, особенно с тех пор, как его возглавляет бывший член руководства PSOE Хосе Феликс Тесанос (José Félix Tezanos).
@amigokonon#partidos#Sumar#PP#PSOE#Vox
#Spagna
Ricordiamo che stasera dalle 22:00 seguiremo il dibattito a tre tra Pedro #Sánchez (#PSOE|S&D), Santiago #Abascal (#Vox|ECR) e Yolanda #Díaz (#Sumar|LEFT).
@OsservatorioEsteri
#Sondaggi#Spagna
Media finale degli ultimi sondaggi:
#PP|EPP: 34%
#PSOE|S&D: 28%
#Sumar (#IU-#Podemos-#MP-#eQuo-#AV-#Compromís)|LEFT|G/EFA: 13%
#Vox|ECR: 13%
Totale seggi: 350
Maggioranza: 176
@OsservatorioEsteri