Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
Il centro destra trova un accordo per le regionali: Edmondo #Cirielli sarà candidato in Campania, Alberto #Stefani in Veneto e Luigi #Lobuono in Puglia.
La coalizione ha inoltre deciso che il primo partito (al momento #FdI) potrà rivendicare la candidatura in Lombardia nel 2028
@UltimoraPolitics
#Puglia – Antonio #Decaro (#PD) è il nuovo presidente della regione, succede a Michele #Emiliano (PD), in carica dal 2015. Sconfitto il candidato di cdx Luigi #Lobuono.
@UltimoraPolitics
#Italia🇮🇹
#Regionali
#Puglia
Proiezione di Opinio Italia.
Emittente: RaiNews24.
Campione: 5%.
🟧 Antonio #Decaro (#PD|S&D; sostenuto anche da #M5S|LEFT, #AVS|G/EFA|LEFT, #PiùEu|RE, #IV|RE, #Az|RE, #PSI|S&D, #DemoS|S&D, #PRC|LEFT, liste minori e civici): 69,2%
🟦 Luigi #Lobuono (#FdI|ECR, #FI|PPE, #LSP|PfE, #UdC|PPE, #NPSI|Centro-destra, #ScN|Meridionalisti, #PdF|Destra cristiana, #DC|Centro, liste minori e civici): 28,8%
@TuttoElezioni