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 подобни публикации

Търсене: #bindi

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

@savinobalzano · Post #705 · 18.07.2024 г., 08:45

PD: UN PARTITO COL CORPO DI SCHLEIN E L'ANIMA DI RENZI È dolcissima l'immagine dell'abbraccio tra @ellyesse e @matteorenzi: dolce ed esplicativa di un fatto tanto vero quanto inconfessabile per entrambi. Sono due facce della stessa medaglia. #Schlein è una trovata pubblicitaria, uno specchietto per le allodole, una invenzione di marketing elettorale: un partito ormai elitario aveva bisogno di raccontarsi come forza politica di massa, interessata alle periferie, preoccupata per chi non arriva a fine mese. #EllySchlein ha cominciato a raccontare la storia della rivoluzione che non hanno visto arrivare, del movimento dal basso verso l'alto, del cambiamento radicale che guarda nuovamente a sinistra, ma è tutto un bluff. Diversamente non potrebbe essere perché tutto il marcio che denuncia, tutto lo scatafascio che ci circonda ogni santo giorno è frutto delle scelte (annose) del suo partito. Sono i falchi del #PD a vedere nell'austerità la via (basti pensare alle ultime dichiarazioni di #Gentiloni sulla "cautela nella spesa", come alle storiche dichiarazioni di #Prodi: "con l'euro lavoreremo un giorno in meno e guadagneremo come se lavorassimo un giorno in più"). Sono i falchi del #PartitoDemocratico a credere nella precarietà nel lavoro (la chiamavano flessibilità): il partito è pieno di gente che avrebbe venduto l'anima della zia pur di far passare il #JobsAct, una riforma drammatica che ha cancellato il diritto alla reintegra in caso di licenziamento illegittimo, che ha rimosso il diritto al risarcimento del danno sostituendolo con le indennità (rendendo il licenziamento illecito una banale voce di bilancio), che ha sdoganato il demansionamento rendendolo di fatto più facile che nel periodo corporativo, provando ad allentare ogni limite sul controllo a distanza. La #BuonaScuola chi l'ha votata? Il PD e si tratta di una riforma che insegna lo sfruttamento, che impone ai ragazzi di comprendere che la loro formazione è funzionale alle regole del mercato del lavoro, che oggi è un mercato iniquo, feroce, molto spesso mortale. E di buona scuola qualcuno ci è morto, letteralmente. Chi ha votato queste riforme è ancora nel PD o ne è uscito insieme a #Renzi? Molti non si sono mossi di un centimetro e siedono di fianco a #Elly nelle istituzioni. Il PD lamenta le lunghe liste d'attesa per avere una visita in una struttura pubblica, ma la riforma #Bindi ce la siamo dimenticata? E vogliamo parlare delle decine di miliardi di tagli alla sanità che il partito di Elly ha votato dal 2011 in poi in Parlamento, del sostegno fanatico ai governi tecnici, in primis quello del liquidatore #Monti? Chi sosteneva quelle scelte è uscito dal partito seguendo #Renzi o è rimasto al suo posto e oggi "lotta" con Elly? Indovinate un po'. Vogliamo parlare delle armi e della guerra? Dove sarebbe la differenza? L'unica differenza tra i due consiste in questo: #MatteoRenzi continua ad affermare ciò che ha sempre sostenuto (ovvero un'agenda spiccatamente neoliberale), mentre la seconda fa lo stesso parlando d'altro. A questo servono le sue vuote battaglie arcobaleno: a nascondere la macelleria sociale di cui sono stati e sono responsabili, nel disperato tentativo di drogare l'opinione pubblica. Elly si presenta come il simbolo di un partito pentito, ma ammesso che sia vero (e non lo è) il pentimento fine a se stesso conta zero senza espiazione: ci sono milioni e milioni di persone (di ogni sesso, orientamento sessuale, religione, etnia e così via) che patiscono quotidianamente gli effetti delle scelte del suo partito. Se un transessuale oggi viene licenziato illegittimamente, ammesso che la spunti in tribunale, avrà al massimo diritto a qualche mensilità di indennità e questo per colpa delle riforme pensate, volute e votate da chi ancora oggi popola i banchi parlamentari del Partito Democratico. Ed è solo un esempio: lo stesso si potrebbe dire per molti altri ambiti, a partire dalla sanità, dal trasporto pubblico, dall'istruzione. (...) https://x.com/SavinoBalzano/status/1813857387498856701