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

Резултати

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

Търсене: #bush

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

@savinobalzano · Post #1049 · 16.06.2025 г., 09:26

https://x.com/SavinoBalzano/status/1934542511730528379?t=47Ya1vjq0Kbps3qQqRYxrA&s=19 Quanto può costare una bugia? Basterebbe chiederlo agli iracheni. Le menzogne dell’amministrazione #Bush, quelle del suo Segretario di Stato Colin #Powell, e quella #provetta passata alla storia. Conteneva un distillato di falsità. Quel distillato ha avuto però la forza di aprire una voragine che ha inghiottito almeno mezzo milione di persone. Da quella voragine sono emersi i mostri denunciati da Julian #Assange, che ha pagato a caro prezzo la sua testimonianza, perdendo a lungo la libertà. Da quella voragine è emerso il carcere di #AbuGhraib. E oggi ci stiamo riprovando. Non esiste alcuna prova della volontà dell’#Iran di sviluppare armi nucleari. Nessuna. Solo nuove provette, come quella mostrata il 5 febbraio 2003 davanti al Consiglio di Sicurezza delle Nazioni Unite. Chi siamo noi? E, soprattutto, chi è #Israele per negare ad altri paesi ciò che #Netanyahu possiede senza ammetterlo? Davvero qualcuno crede ancora alla narrazione dell’“unica democrazia del Medio Oriente”, del baluardo di civiltà in quella regione? Nessuno vede ciò che Israele sta facendo a #Gaza? E un paese responsabile di simili azioni merita davvero di possedere un arsenale nucleare? Stiamo liberando il popolo iraniano? Vogliamo “esportare la democrazia” come abbiamo fatto in Afghanistan? Con quale credibilità? Vogliamo liberare le donne di Teheran facendo piovere bombe sulle loro teste? Sono già circa 400 i civili uccisi in Iran, e il numero salirà. Il mondo non potrà tollerarci per sempre.

Savino Balzano

@savinobalzano · Post #714 · 24.07.2024 г., 12:54

https://x.com/SavinoBalzano/status/1816093217093193735?t=CTZ85DyoLPciXF_J96bXrw&s=19 Davvero Kamala rappresenta l'ultima speranza, l'ultima spiaggia, l'estremo tentativo di resistere: non lo è però per il popolo americano e tantomeno per i popoli del mondo occidentale. Lo è per una élite decadente e guerrafondaia che se la sta facendo sotto: se arriva #DonaldTrump, per loro i giochi sono davvero finiti. È un circo grottesco, una farsa: non so cosa stia accadendo negli #USA e cosa si dica da quelle parti. Sono certo che il servilismo della nostra "informazione", della nostra "stampa", dei nostri opinionisti e dei nostri commentatori sia tale che la metterebbe persino in imbarazzo, #Kamala, se sapesse come sbavano e slinguazzano dalle nostre parti. Una sorta di #Draghi al femminile, così la trattano e la omaggiano. Si affannano nell'argomentare che #Biden si sarebbe tirato indietro per senso dello stato: la verità è che l'hanno messo da parte perché, per quanto comodamente manovrabile, era ormai imbarazzante e totalmente impresentabile. Non lo ammetteranno mai perché lo hanno esaltato negli anni, eletto a grande statista, sostenendo quanto giuste fossero le sue scelte nella gestione delle crisi internazionali, nonostante i fallimenti inanellati uno dietro l'altro. E poi se ammettessero che #JoeBiden è completamente bollito, fuso, come accettare che resti a comandare dalla Casa bianca? E adesso, nell'eleggere #KamalaHarris a donna dell'anno, provano a far apparire #Trump vecchio, stanco, attempato: loro! Gli stessi che leccavano gli stivali del vecchio Joe, quello che stringeva la mano ai fantasmi e si accomodava su sedie invisibili. E #Harris ti viene raccontata come una che non hanno visto arrivare, un po' come una #Schlein un po' più presentabile o come una #Salis ancora più presentabile: si costruisce il personaggio, pian pianino, facendo leva su elementi tanto romanzati quanto ininfluenti. È donna e quindi farà del bene alle donne: quante cose buone hanno fatto, dopotutto, #VonderLeyen e #Lagarde, per le donne. Tante quante ne avrebbe fatte #HillaryClinton e tante quante ne farebbe Kamala che ora è in testa in tutti i sondaggi (i loro "sondaggi"). È di colore, una sorta di american #Soumahoro, e giù li a ricamare e ricamare. Come se un Presidente di colore non ci fosse già stato da quelle parti, tale #Obama, e non avesse bombardato mezzo mondo dopo aver finto di fare la predica ai #Bush. E la cesura deve essere scavata a fondo tra la nuova eroina radical e il Presidente in carica, più a fondo che sia possibile, nel ridicolo tentativo di far dimenticare alla gente che lei ne era la vice e ne condivideva ogni scelta.