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

Резултати

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

Търсене: #debunking

当前筛选 #debunking清除筛选
la fionda📗

@lafionda · Post #7099 · 29.01.2026 г., 11:18

https://x.com/SavinoBalzano/status/2016831997277089939?s=20 Il più famoso di tutti è lui, #Puente: il fact-checker più noto, quasi quello per definizione. Io non credo nel #FactChecking: penso sia un modo maldestro per derubricare e squalificare alcune idee a vantaggio di altre. Ma se proprio deve esserci, quali titoli dovrebbe avere un arbitro della verità? Basta, secondo voi, una laurea triennale conseguita in undici anni? Ad esempio, uno che fa #debunking praticamente su ogni argomento, che cosa dovrebbe aver letto prima? Che cosa dovrebbe aver studiato prima di esercitare la funzione di sacerdote del vero? Non è meglio fidarsi delle persone e della loro capacità di farsi, liberamente e democraticamente, un’idea? Chi pensa, in generale, di poter prescrivere la verità come fosse una pastiglia (forse più una supposta) si fida davvero delle persone? O forse è mosso dalla supponenza, dalla presunzione, dall’arroganza: dalla convinzione di essere migliore degli altri? Domando. E, soprattutto, ritenete più democratico un sistema in cui trovino spazio tutti i punti di vista o uno in cui qualcuno decide cosa potete leggere e cosa deve essere censurato? Alla gente l’ardua sentenza. Io della gente mi fido.

Savino Balzano

@savinobalzano · Post #1265 · 29.01.2026 г., 11:16

https://x.com/SavinoBalzano/status/2016831997277089939?s=20 Il più famoso di tutti è lui, #Puente: il fact-checker più noto, quasi quello per definizione. Io non credo nel #FactChecking: penso sia un modo maldestro per derubricare e squalificare alcune idee a vantaggio di altre. Ma se proprio deve esserci, quali titoli dovrebbe avere un arbitro della verità? Basta, secondo voi, una laurea triennale conseguita in undici anni? Ad esempio, uno che fa #debunking praticamente su ogni argomento, che cosa dovrebbe aver letto prima? Che cosa dovrebbe aver studiato prima di esercitare la funzione di sacerdote del vero? Non è meglio fidarsi delle persone e della loro capacità di farsi, liberamente e democraticamente, un’idea? Chi pensa, in generale, di poter prescrivere la verità come fosse una pastiglia (forse più una supposta) si fida davvero delle persone? O forse è mosso dalla supponenza, dalla presunzione, dall’arroganza: dalla convinzione di essere migliore degli altri? Domando. E, soprattutto, ritenete più democratico un sistema in cui trovino spazio tutti i punti di vista o uno in cui qualcuno decide cosa potete leggere e cosa deve essere censurato? Alla gente l’ardua sentenza. Io della gente mi fido.

Savino Balzano

@savinobalzano · Post #800 · 06.11.2024 г., 09:48

https://x.com/SavinoBalzano/status/1854098288326193251?t=HLsg8M2bpGxPhQ_yeN_igg&s=19 Due sere fa, solo due, un telegiornale italiano (il TgDraghi) dava #Harris in vantaggio di 20 punti (20 punti!!!) su #Trump nell'elettorato femminile americano. Ovviamente era una balla colossale ed era chiaro a tutte le persone di buon senso. Francamente credo che la riflessione che tutti dovremmo fare oggi riguarda l'#informazione nel Paese: è davvero emergenza perché senza un'informazione seria la #democrazia è azzoppata, in crisi, in pericolo. Subiamo da anni una #propaganda asfissiante da parte di un'informazione che non è descrittiva, ma prescrittiva: non racconta le cose per quelle che sono, la realtà per quella che è; presenta le cose per quelle che dovrebbero essere (secondo una specifica visione, ovviamente), la realtà per quella che dovrebbe essere. Gli stessi commentatori, ciarlatani e cialtroni, che fino a ieri preannunciavano una vittoria di #Kamala (amorevolmente chiamata per nome) in questo preciso momento sono ancora in diretta, continuano a propinare le loro analisi: ora ci vogliono pure spiegare cosa è accaduto. Si parlava di testa a testa e, ricordo, quelli che ipotizzavano di malavoglia una eventuale vittoria di #DonaldTrump, riconducendola alle storture prodotte dal sistema elettorale: «prenderà meno voti, ma grazie al maggioritario potrebbe arrivare alla #CasaBianca». Ebbene, in questo momento, si contano per lui già cinque milioni di voti in più e il divario tenderà ad allargarsi notevolmente. Per i repubblicani è un risultato epocale: verificatosi, che ricordi, solo con il primo Bush Jr. Questa informazione spazzatura, quella del #mainstream, pretende persino di guidare le operazioni di #FactChecking e di #Debunking: asini e arroganti, come si diceva un tempo a scuola. E adesso che si fa? Semplice: si racconta come le donne abbianio tradito, i neri abbiano tradito, le minoranze abbiano tradito. Perché l'ipotesi che il popolo schifasse #KamalaHarris non è proprio contemplabile, che le preferisse #Donald è inconcepibile: a questa gente la #democrazia fa schifo e questa è la verità e ne abbiamo conferma sempre, in ogni circostanza. La fortuna è che a certa spazzatura ci si affida sempre meno, seppure il lavoro da fare sia ancora moltissimo.

Savino Balzano

@savinobalzano · Post #855 · 08.01.2025 г., 10:46

https://x.com/SavinoBalzano/status/1876941586044432789?t=NYgrvLRsHgucjjQ3a9cNKg&s=19 Ossessivamente parlano di rischio per la nostra #democrazia: sarebbe minacciata da agenti esterni, ingerenze, estremismi e chi più ne ha più ne metta. È vero che non se la passa benissimo, ma non di certo da ora, e la colpa a mio avviso ce l'hanno proprio quelli che oggi strillano, gli stessi che non si rendono conto (o fingono di non farlo) di quanto il doppiopesismo nel loro approccio li renda ridicoli. Alcuni esempi? Eccoli: - si avvicina l'insediamento del Presidente #Trump e, piuttosto che parlare dell'oggi, di quanto viviamo o stiamo per vivere, ci viene propinato di continuo il racconto del 6 gennaio 2021: a voi sembra normale? Il tentativo, ovviamente, è quello di insistere con lo spauracchio dell'arrivo al potere del male assoluto, del #DonaldTrump che tutti dovrebbero temere. Ci vengono riproposte le sue ultime boutade, come se il Presidente uscente, #Biden, fosse stato un uomo di pace: la sua gestione dei conflitti in corso ha ricordato un pompiere che prova a spegnere un incendio con una manichetta alimentata a benzina. Lo stesso #JoeBiden che con i suoi ultimi atti cerca di impantanare la futura amministrazione nelle logiche della guerra tanto amate dai democratici statunitensi (ma anche italiani). Si indugia poi su qualche scandalo del Presidente entrante, dimenticando ovviamente la recentissima grazia che il vecchio Joe ha riservato a suo figlio; - tutto ciò che ruota attorno a Trump deve essere dipinto come una delle piaghe d'Egitto e la più pericolosa ha un nome e un cognome: #ElonMusk. Il suo sistema di satelliti, ad esempio, potrebbe mettere a repentaglio la nostra sovranità nazionale. Già fa ridere così: che chi ha svenduto la Costituzione alla tecnocrazia sovranazionalista si preoccupi della sovranità nazionale è già da mettersi un pannolone per le risate. Ma si sono accorti, peraltro, che tutta la nostra telecomunicazione è di proprietà straniera? Vogliamo parlare di tutto il cloud della pubblica amministrazione del Paese? La sua realizzazione ha coinvolto enormi multinazionali (Google ad esempio) e non mi pare siano di proprietà di un Olivetti; - rieccoci, come ogni anno, a festeggiare il Natale della #sinistrucola. Si, la loro rinascita, ciò che infonde un senso alla loro stessa esistenza: #AccaLarentia. I salotti dell'informazione sono già affollatissimi di gente (tutti intellettuali generalmente contraddistinti da occhiali dalle forme più particolari) che ci gonfia i coglioni con la storia del #neofascismo. Ovviamente quel raduno è una roba da centro di igiene mentale più che da arresto, tuttavia chi per decenni non è stato filato da nessuno, adesso, guardacaso mentre al governo c'è un determinato partito, diventa l'emergenza assoluta nel dibattito pubblico. Una tortura senza fine alla quale siamo chiamati a sottorporci da qualche anno a questa parte; - da ultimo, pare proprio che i signori del #FactChecking e del #Debunking sui social network stiano per andarsene finalmente dove meritano: a fare in culo. Questa è una notizia semplicemente meravigliosa: tutti i propalatori di menzogne politicamente corrette (se non ti vaccini ammazzi la gente; la resistenza ucraina vincerà la guerra; Putin è malato terminale; etc.) rischiano seriamente di non avere più lavoro: il proprietario di #Meta, tale #Zuckerberg, dopo aver ammesso di aver censurato la gente su ordine dell'amministrazione democratica statunitense (sottolineo "democratica"), pare proprio voler porre fine a una pagina vergognosa nella storia della libertà di pensiero nel mondo: gli amici del "vi costringeremo ad essere liberi" (e in Italia si sprecano) dovranno presto, si spera, farvi i conti. Ovviamente tutti a frignare già stanno e cianciano delle cavallette in arrivo. Io scaldo i pop corn.