Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
The CLEAR SYNERGY OASIS 9 trial showed that in patients with #cvAMI undergoing #PCI, daily treatment with #colchicine did not reduce #MACE at 5 years compared with placebo. bit.ly/3YIRb2n#TCT2024
🗞️ Vía: American College of Cardiology (ACC).
Новый индекс для определения экономического потенциала.
ЮНКТАД 20 июня 2023 г. представил индекс производственного потенциала (Productive Capacities Index (PCI)). Новый инструмент направлен на определение и диагностику областей, в которых страна может лидировать или отставать. Индекс содержит такие компоненты, как человеческий капитал, природный капитал, энергетика, транспорт, ИКТ, регулирующие органы, частный сектор, перемещение рабочей силы и другие производственные ресурсы (структурные изменения).
Согласно представленным ЮНКТАД данным итоговое значение показателя для России составило 51,3 %, что выше показателя 2000 г. на 11 %. Это самый высокий показатель среди стран СНГ наравне со значением для Республики Казахстан - 51,3%.
Среди стран БРИКС Россию незначительно опережают ЮАР с показателем 52,2% и Китай - 60,6% (аналогичный показатель для Индии составил 45,3%, для Бразилии - 48,6%). Среди отдельных компонентов наиболее высокие показатели Россия имеет по категориям - человеческий капитал, энергетика, ИКТ и структурные изменения.
#ЮНКТАД#PCI#экономическийпотенциал#новыйиндекс#диагностикаэкономики#устойчивоеразвитие
#Italia#Cuba#Roma
Domani 11 Aprile si terrà a Roma alle ore 15:00 la Manifestazione Nazionale contro il blocco USA a Cuba, la manifestazione è stata promossa dall'Associazione Nazionale di Amicizia Italia-Cuba. Il corteo partirà dal Colosseo e vedrà la presenza di diverse realtà, associazioni, partiti e artisti, tra qui: #SI|LEFT, #EV|G/EFA, #PRC|LEFT, #M5S|LEFT, #CGIL, #FIOM, #ANPI, #ARCI, #USB, #PaP|Estrema sinistra, #PCI|Estrema sinistra, #OSA, #CR e molti altri.
@Osservatorioitaliano
#Italia🇮🇹
#Comunali
#Ravenna
A Ravenna, unico Comune superiore al voto in Emilia-Romagna, i candidati sono 7.
Il centrosinistra si presenta unito con Alessandro #Barattoni, sostenuto da Partito Democratico (#PD|S&D), Movimento 5 Stelle (#M5S|LEFT), Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT), Partito Repubblicano Italiano (#PRI|Centro) e 2 civiche (una delle quali comprende #Azione|RE, #PiùEu|RE, #IV|RE e #PSI|S&D).
Diviso, invece, il centrodestra:
- Alvaro #Ancisi: Lega (#LSP|PfE), Popolo della Famiglia (#PdF|Destra cattolica) e una civica;
- Nicola #Grandi: Fratelli d'Italia (#FdI|ECR), Forza Italia (#FI|PPE) e una civica.
Marisa #Iannucci è sostenuta da Rifondazione Comunista (#PRC|LEFT), Potere al Popolo! (#PaP|Estrema sinistra), Partico Comunista Italiano (#PCI|Estrema sinistra) e una civica.
Presente anche una lista a nome "DC Democrazia Cristiana" a sostegno di Giovanni #Morgese.
I candidati civici sono:
- Miserocchi #Maurizio (1 lista);
- Veronica #Verlicchi (1 lista).
@TuttoElezioni
#Italia🇮🇹
#Comunali
#Genova
A Genova, unico capoluogo di Regione al voto, i candidati sono 7.
Il centrodestra corre con Pietro #Piciocchi, sostenuto da Fratelli d'Italia (#FdI|ECR), Forza Italia (#FI|PPE), Lega (#LSP|PfE), Noi Moderati (#NM|PPE|PPCE), Unione di Centro (#UdC|PPE), Nuovo PSI (#NPSI|PPE) e una lista civica.
Il centrosinistra corre con Silvia #Salis, sostenuta da Partito Democratico (#PD|S&D), Movimento 5 Stelle (#M5S|LEFT), Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT) e 2 liste civiche.
Altri candidati sono:
- Mattia #Crucioli, sostenuto da Uniti per la Costituzione (#UpC|Pacifisti);
- Raffaella #Gualco, sostenuta da una lista civica;
- Antonella #Marras, sostenuta da una lista che include Rifondazione Comunista (#PRC|LEFT) e #PCI|Estrema sinistra;
- Cinzia #Ronzitti, sostenuta dal Partito Comunista dei Lavoratori (#PCL|Estrema sinistra);
- Francesco #Toscano, sostenuto da Democrazia Sovrana e Popolare (#DSP|Grande tenda populista, sovranista ed euroscettica).
@TuttoElezioni