Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
#Italia
Il deputato e Segretario del #PLD|Liberali Luigi #Marattin, intervistato dal quotidiano "il Riformista":
"Le battaglie non si fanno solo quando si è certi di vincerle, o solo perché conviene. Si fanno quando sono giuste. Quella sulla separazione delle carriere lo era, e siamo fieri di averla fatta. Tra un centrodestra confuso è una sinistra che, come dopo il referendum del 2011, già si vede al governo, è sempre più necessaria un'offerta politica autenticamente liberale e fuori dalle curve ultra. Nelle prossime settimane tireremo anche noi "la rete", e capiremo le condizioni a cui è possibile cominciare a metterla in campo".
@Osservatorioitaliano
#Italia#Venezia#Comunali
Anche il #PLD|Liberali di Luigi #Marattin annuncia il sostegno al candidato sindaco del centrodestra Simone #Venturini.
La nota del partito sui social:
“A Venezia ci sono solo due candidature. Quella di centrosinistra e quella di centrodestra. Dopo settimane di interlocuzione, e avendo accettato, e inserito nel programma, le nostre priorità programmatiche, abbiamo deciso di sostenere Venturini”.
@Osservatorioitaliano
#Italia#Sondaggi
Sondaggio autoprodotto EMG Different:
"E PER QUALE PARTITO VOTEREBBE? Base: coloro che hanno intenzione di andare a votare"
Totale cdx: 45,2%
#FdI|ECR: 27%
#FI|EPP: 8,7%
#Lega|PfE: 8%
#NM|EPP: 1,5%
Totale csx: 44,9%
#PD|S&D: 22,7%
#M5S|LEFT: 12%
#AVS|G/EFA|LEFT: 6%
#IV|RE: 2,2%
#PiùE|RE 2%
Totale centro 3,9%
#Azione|RE 2,7%
#PLD|Centro: 1,2%
#FN|ESN: 3,6%
#DSP|Populisti euroscettici: 1,4%
Altra lista 1,0%
Rilevazione: 30-31 marzo
Intervistati: 1000
Margine d’errore: ±3,1%
@OsservatorioItaliano
#Italia🇮🇹
#Comunali
#Taranto
❗️Piero #Bitetti (#PD|S&D; #AVS|G/EFA|LEFT; #Azione|RE; #DemoS|S&D; #Pos|S&D; #PLD|RE; #DC|Centro; civiche) e Francesco #Tacente (#LSP|PfE; #UdC|PPE; #PSI|S&D; civiche) si sfideranno al ballottaggio, che si terrà domenica 8 e lunedì 9 giugno 2025.
@TuttoElezioni
#Italia#Comunali#Campania
Comunali di #Salerno: De Luca spacca le coalizioni ed è un tutti contro tutti. Di seguito i candidati:
📌 Vincenzo #DeLuca, sostenuto da #PD, #PSI, #EV, #ATA e civiche deluchiane
📌 Franco Massimo #Lanocita, sostenuto da #M5S, #SI e civiche di sinistra
📌 Armando Zambrano, sostenuto da #Azione, #IV, #NdC, #PLD e #FI
📌 Gherardo Maria #Marenghi, sostenuto da #FdI, #Lega e #NM
📌 Mimmo Ventura, sostenuto da #AP e Dimensione Bandecchi
📌 Alessandro Turchi, civico
@OsservatorioItaliano
#Italia🇮🇹
#Comunali
#Taranto
A Taranto sono 6 i candidati ed entrambe le coalizioni nazionali si presentano separate.
Nel campo del centrosinistra i candidati sono:
- Annagrazia #Angolano, sostenuta dal Movimento 5 Stelle (#M5S|LEFT) e da una lista civica;
- Pietro #Bitetti, sostenuto da Partito Democratico (#PD|S&D), Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT), #Azione|RE, Democrazia Solidale (#DemoS|S&D), Partito Liberal Democratico (#PLD|RE), Democrazia Cristiana e da 3 liste civiche.
Il centrodestra ha come candidati:
- Luca #Lazzaro, sostenuto da Fratelli d'Italia (#FdI|ECR), Forza Italia (#FI|PPE), Noi moderati (#NM|PPE|PPCE) e Partito Liberale Italiano (#PLI|Centro-destra);
- Francesco #Tacente, sostenuto da Lega (#LSP|PfE), Unione di Centro (#UdC|PPE) e da 5 liste civiche.
Altri candidati sono:
- Cosimo #DiBello, sostenuto da 6 liste civiche;
- Mario #Cito, sostenuto dalla Lega d'Azione Meridionale (#LAM|Estrema destra).
@TuttoElezioni