Намери подобно съдържание

Изходен канал @clockstackwheels · Post #721 · 26.12

Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev

Hashtags

#dev

Резултати

Намерени 1 подобни публикации

Търсене: #robertametsola

当前筛选 #robertametsola清除筛选

Savino Balzano

@savinobalzano · Post #711 · 22.07.2024 г., 14:42

Намери подобни Прегледай

https://x.com/SavinoBalzano/status/1815396609217196131?t=EZXgyd13-dXkrrjAEpNc8w&s=19 Sto leggendo post su post di gente completamente fuori di testa: #Biden si sarebbe tirato indietro per senso dello stato; il suo sarebbe stato un estremo e alto atto di generosità verso il Paese e verso il partito. Dico, ma state bene? Fino a due giorni fa era attaccato alla corsa con le unghie e con i denti: l'hanno defenestrato perché i finanziatori se la stavano squagliando e i #Dem si sarebbero trovati a fine corsa perdenti e pieni di buffi. Tutto qui ragazzi, cerchiamo di essere seri, una volta tanto. Leggo dichiarazioni farneticanti da parte di esponenti politici della #sinistrucola italiana, che parlano di un grande servitore dello stato che fa un passo di lato per il bene comune. La verità? Lo hanno destituito perché in preda al delirio più totale, perché vittima di un'acuta e totalmente invalidante demenza senile. Da anni molti denunciavano il fatto che un uomo bollito fosse formalmente a capo del mondo occidentale, manovrato come un pupo chissà da chi: quando lo dicevamo, guardando centinaia di video virali che ne denunciavano i comportamenti più bizzarri, le reazioni erano violentissime. Comprendo ora l'imbarazzo, ma non potete nemmeno venirci a raccontare certe balle senza suscitare ilarità. E ovviamente già si ci si affanna a costruire il personaggio di quella che lo rimpiazza: una donna, perdipiù di origini afro-asioamericane. Il #PoliticamenteCorretto già sbava. Un attacco al #patriarcato? Come se le donne fossero tutte uguali: #KristalinaGeorgieva, una donna, guida il #FMI; #ChristineLagarde, una donna, guida la #BCE; #UrsulaVonDerLeyen, una donna, guida la #CommissioneEuropea; #RobertaMetsola, una donna, guida il #ParlamentoEuropeo; #KajaKallas, una donna, guida la politica estera dell'#UE. Le cose vanno maluccio, direi, anche per le donne, nonostante tutte queste donne al potere: semplicemente - si sottolinea l'ovvio - le donne non sono tutte uguali. Tocca scegliere quelle giuste e, a occhio, #KamalaHarris non è tra loro. E hanno già avuto pure un presidente di colore, un certo #BarackObama, il riscatto dei più deboli, che bombardò Siria, Libia, Iraq, Afghanistan, Yemen, Somalia e Pakistan. Premio Nobel per la #Pace, che ve lo dico a fare? E ancora una volta il problema è nell'#informazione, la nostra è davvero pessima (dai politici della sinistrucola impossibile pretendere qualcosa di diverso): si impone un racconto sflalsato, fregandosene altamente di quanto risibile esso sia, pur di tentare disperatamente di far apparire cattivo quell'altro. L'epilogo è scontato: #Trump vincerà a mani basse, per fortuna. Di questo e altro, oggi, ospite di @sergioluciano60 e di #GiornaleRadio.