TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #satira
@maidirekiev · Post #321 · 30.03.2025 г., 11:35
👽La Mantide di Bruxelles Si aggira nel Parlamento UE, sorride in pubblico, censura film scomodi… e a fine giornata si mangia il marito. Altro che democrazia: benvenuti nella tana della Pina Protocolaris #contropotere#satira#nationalgeographicdark#fantapolitica#mantide#scorpioni#nonèunfilm Seguici su telegram🕶️🔥 https://t.me/occhioallastoria
@savinobalzano · Post #754 · 22.09.2024 г., 10:26
https://x.com/SavinoBalzano/status/1837800265136628100?t=qcST9-Z0okVbfsMISLW7bw&s=19 Un altro strumento straordinario della #propaganda è rappresentato dalla finta #satira. Ascoltate bene cosa dicono questi due, @LucaBizzarri e @paolokessisoglu, a proposito del secondo attentato subito da #Trump. Per loro, da notare non è il fatto che per due volte qualcuno cerchi di ammazzare un candidato alle presidenziali americane (peraltro, ci tengono a sottolineare che gli attentatori non abbiano fatto molti danni, nonostante nel primo ci sia scappato il morto), ma che quello sia proprietario di un golf club. «Sono due comici» - dirà qualcuno - «e non si contesta la satira!»: vero, ma la satira, quella vera, dovrebbe indurre una riflessione profonda e, soprattutto, dovrebbe essere rivolta contro il potere, quello che in un preciso momento storico detiene i fili del comando. I due (che peraltro prendono parte al dibattito pubblico anche al di là dei loro sketch), ci spingono capziosamente a riflettere su di un elemento specifico: se davvero Trump fosse "antisistema", non sarebbe al contempo proprietario di un golf club. Non fa una piega, no? Domando: #Biden è un morto di fame? la pistolera #Harris, che viene dipinta come una rappresentante delle minoranze di colore, non riesce ad arrivare a fine mese? Eppure dovrebbero essere loro i paladini degli emarginati, di quelli che se la passano male, sbaglio? Guardiamo all'#Italia: #Schlein a quale famiglia appartiene? tutti operai a casa sua? Ancora, contestiamo la memoria storica di #Berlinguer in virtù delle sue origini nobiliari? La satira dovrebbe agire in controtendenza rispetto ai tentativi di "distrazione" operati dal potere: in questo caso, invece, lo scopo della farsa è opposto: distrarre la gente dall'elemento di maggiore rilevanza. Se aggredissero #KamalaHarris, i due andrebbero in diretta con una fotocopia dell'estratto del suo conto corrente? Qualcuno insiste nel voler ammazzare il candidato repubblicano alla #CasaBianca: perché? tutti fuori di testa armati di fucile? Questo si dovrebbe cercare di indagare e su questo stimolare una riflessione autenticamente scomoda. Che Trump sia un milionario appartenente alla classe "dominante" statunitense lo sappiamo tutti, anche senza l'apporto della comicità di Luca e Paolo a @diMartedi. Il potere, negli #StatiUniti come nell'#UE, spinge forsennatamente verso l'acuirsi della tensione internazionale e verso la #guerra: #DonaldTrump è oggettivamente di ostacolo a tale approccio, per ragioni che non rileva qui indagare (quantomeno perché più isolazionista dei Democratici), e dunque è (in questo senso) #antisistema. Come lo sono alcuni altri, anche in #Europa, e per questo sono vittime di attacchi simili a quelli che subisce Trump, attentati inclusi. Dai tempi dei fescennini, la satira dice cose scomode: vi pare una comicità scomoda questa, soprattutto se espressa in quello specifico contenitore? A me pare piuttosto funzionale, se non addirittura serva. La scrivo io invece una cosa scomoda (per chi legge e magari non apprezza molto il programma di @La7tv): credo che profondamente inadeguati siano alcuni di coloro i quali vengono invitati (non a caso direi) in quella trasmissione per rappresentare l'altra campana. E vengono invitati, sempre li stessi, proprio in virtù della loro debolezza culturale e della loro palese incapacità argomentativa: sono perfettamente funzionali al teatrino che si intende mettere su. Un teatrino nel quale chiunque si opponga alla messa in scena, al racconto farsesco messo in piedi sul palco, deve apparire ridicolo e inaffidabile.