TGTGInsightтелеграм анализLIVE / telegram public index
← Такты, стеки, два колеса

TGINSIGHT SIMILAR POSTS

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

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

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

Hashtags

Резултати

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

Търсене: #sovranismo

当前筛选 #sovranismo清除筛选
Savino Balzano

@savinobalzano · Post #889 · 06.02.2025 г., 10:34

https://x.com/SavinoBalzano/status/1887449095825973735?t=8oW3wriwTIIZ-sMHYOyMRg&s=19 Presidente, glielo scrivo col rispetto che si deve comunque all'Istituzione che lei rappresenta, al #Quirinale, ma avvalendomi della libertà che la nostra #Costituzione garantisce a tutti i cittadini: lei ha minato alla credibilità della stessa istituzione che rappresenta da dieci anni e le sue parole non sono più minimamente credibili. È davvero impressionante come il #PresidenteDellaRepubblica ormai rappresenti la cassa di risonanza di una specifica e ben individuabile narrazione (lo abbiamo visto già con #Napolitano, ma #Mattarella ha buttato giù ogni steccato rimasto). #SergioMattarella da qualche settimana si è risvegliato sovranista: ieri ha esortato l'#Europa a non rassegnarsi a un «vassallaggio felice». Il riferimento è ovviamente agli #StatiUniti di #Trump, ma anche alle "gravissime ingerenze" di #Musk. Il tutto potrebbe anche avere una sua dignità politica, se non fosse che il Presidente della Repubblica ha alle sue spalle un decennio di silenzi: dov'era Mattarella quando l'Unione Europea si suicidava economicamente, affamava i suoi popoli, per aderire alla guerra di #Biden a #Putin?; dov'era Mattarella quando ucraini e inglesi sabotavano il #nordstream2?; dov'era Mattarella, da capo delle forze armate, mentre sparavano addosso ai nostri militari in #Libano?; dov'era Mattarella quando il Commissario europeo Gunther Oettinger sostenne che i mercati avrebbero insegnato al popolo italiano come si vota?; dov'era e dov'è Mattarella (e il suo predecessore) ogni volta che si chiedeva e chiede all'Italia l'austerità, che è una roba ben peggiore dei dazi di cui tanto denuncia l'inaccettabilità? Nel sui recente discorso, il Capo dello Stato ha citato ancora la conferenza di Monaco del '38, l'#appeasement di Neville #Chamberlain: il ragionamento è semplice. #Putin è come #Hitler: lasciarlo fare, come si fece con la Germania Nazista, rappresenterebbe una colpa imperdonabile. Mancava solo la citazione di #Churchill: «potevano scegliere tra il disonore e la guerra, hanno scelto il disonore ed avranno la guerra». Con quella ciliegina la sagra della banalità (se del bene o del male lo lascio valutare a voi) sarebbe stata compiuta. Ebbene il riferimento al '38 è ovviamente risibile: primo perché Putin non ha alcuna intenzione di arrivare a Lisbona; secondo perché l'espansionismo negli ultimi decenni è stato il nostro, della #NATO, e non di #Mosca; terzo perché la storia non comincia con l'invasione russa, ma andrebbe fatta risalire quantomeno al 2014 e al colpo di stato che (ormai è ampiamente documentato) noi abbiamo ordito ai danni di #Janukovyč; quarto perché non possiamo nascondere che il sabotaggio del gasdotto ha rappresentato una mossa fondamentale per spezzare il rapporto che si stava cementando tra Europa (soprattutto #Germania) e Russia che a qualcuno non conveniva assolutamente e, difatti, adesso ci sta guadagnando (il vassallaggio ci spiace a fasi alterne?). Putin è Hitler? Vediamo come reagirebbe qualsiasi Presidente statunitense se volessimo noi mettere in piedi una bella base militare a Cuba o in Canada. Smontare il sovranismo del Quirinale è facilissimo: basterebbe ricordare quello che combinò Napolitano con Berlusconi (p.s. il debito pubblico dell'Italia sull'orlo del fallimento del 2011 era enormemente inferiore a quello di adesso, lo dico per quelli che "#Monti ci ha salvati"); ma basterebbe ricordare i tentativi di Mattarella di soffocare il governo gialloverde nella culla, puntando su Cottarelli mentre Conte ancora cercava di comporre una maggioranza o ponendo il veto su Savona che destabilizzava i mercati. Insomma, Presidente, faccia lei: ha certamente dalla sua parte tutta l'informazione e gran parte delle pecore che pascolano l'arco costituzionale, ma al suo posto mollerei il colpo: il #sovranismo è una cosa seria e proprio non le si addice.