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

Търсене: #bernabè

当前筛选 #bernabè清除筛选
Savino Balzano

@savinobalzano · Post #1017 · 21.05.2025 г., 07:23

https://x.com/SavinoBalzano/status/1925089837624783337?t=RqMxp2myp_-td1kGAREUUA&s=19 Ieri sera, a casa, cenavamo io e mia moglie mentre guardavamo Otto e mezzo. A un certo punto, ci passa davanti questa scenetta. #Gruber: «Quindi l’#Europa deve prepararsi a un’eventuale aggressione russa». L’interlocutore, visibilmente confuso, cerca di negare di aver parlato – solo pochi istanti prima – proprio di un’eventuale aggressione russa. Ci siamo guardati, esterrefatti. E poi abbiamo sorriso, increduli. Sì, perché davvero il limite è stato superato: siamo oltre. Siamo over. Tutto questo accade infatti mentre sembra ormai concreta la possibilità di trovare una quadra sul conflitto. Pazzesco. Non ci si rassegna. Dopotutto, lo stesso #Mattarella ieri: «L’Europa dia risposte rapide per evitare di accodarsi ad altri». Diamoci da fare, mi parrebbe di capire, non sia mai che quelli fanno pace per davvero. Mi è tornata in mente, come un flash, una scena della commedia di Eduardo, Questi fantasmi. Il protagonista decide di trasferirsi in un grande appartamento che si dice infestato dagli spettri. Lo fa per pagare poco d’affitto, evidentemente. Il portiere del palazzo, un bel lestofante, lo ammonisce: «È la cosa più importante che vi devo avvertire, a scanso di equivoci e responsabilità. Badate che qua sparisce qualunque cosa. Sì, chessò, voi lasciate un cappello e non lo trovate più. Fazzoletti, cravatte – specialmente la roba da mangiare. L’olio se lo succhiano: forse per le lampadelle sopra alla terrazza, chi lo sa? I fuochi. E se sparisce qualche oggetto di valore, badate che io non voglio storie, eh! Non vi permettete di andare a denunciare il furto, sennò potete pure abbuscare: qua si tratta di spiriti, di fantasmi, non scherzano! Non denunciate i furti che devono avvenire in questa casa, sennò è peggio per voi!» Andatevelo a vedere quel dialogo tra Eduardo e Ugo D’Alessio. Una meraviglia. Come quello tra Gruber e #Bernabè: un capolavoro di comicità. Certo, una comicità amara, che nasconde un risvolto tragico, oscuro. L’Europa deve prepararsi, come i furti devono avvenire. Stessa logica. Per fortuna c’era quel sorrisetto malandrino sullo sfondo, quello di Travaglio, pronto a dire semplicemente la verità. A dire, semplicemente, ciò che un giornalista dovrebbe dire. Eduardo a Pasquale Lojacono glielo fa dire come stanno davvero le cose: «Non è vero! I fantasmi non esistono, li abbiamo creati noi, siamo noi i fantasmi...».