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

Резултати

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

Търсене: #kai

当前筛选 #kai清除筛选
kpop & kdrama news

@Knews_ru · Post #16422 · 20.03.2025 г., 17:01

Кай распродал все билеты на свой двухдневный концерт на Olympic Handball Stadium. Вместимость Olympic Handball Stadium- 6 500 человек kpop & kdrama news #kpopnews#kpop#KAI

🤝Hanwha Aerospace и KAI будут совместно разрабатывать авиационное вооружения для отечественных самолётов 📃✒️На полях проходящей в Эр-Рияде 3-й Всемирной оборонной выставки World Defense Show (WDS-2026) руководители Hanwha Aerospace и Korea Aerospace Industries (KAI) подписали меморандум о сотрудничестве в сфере авиационного вооружения. Документ предусматривает совместные разработки и интеграцию различных оружейных комплексов для производимых Р. Корея самолётов KF-21 и FA-50, а также кооперацию в области маркетинга в интересах расширения экспорта боевых машин и авиационного вооружения. 🛠️⚙️Отметим, что в н.в. Hanwha Aerospace под руководством Научного института оборонных исследований (ADD) проводит предварительные исследования в рамках проектов создания ракет класса «воздух-воздух» большой дальности, сверхзвуковых ракет класса «воздух-земля» и «воздух-корабль» на базе прямоточных воздушно-реактивных двигателей в кожухе. #Новости#Корея#ВПК#KAI#HanwhaAerospace#MOU#Сотрудничество

⚡️Јужна Кореја — представљен први серијски ловац KF-21 Boramae, који развија компанија KAI [Korea Aerospace Industries]; реч је о вишенаменској борбеној летелици која се класификује као авион 4.5 (4++) генерације. → Линк: /t.me/borbeni_efektivi → Линк: /t.me/borbeni_efektivi 🪖#Јужна_Кореја〣#KF21〣#Boramae〣#KAI〣#Ловац〣#Ваздухопловство 🇷🇸https://t.me/borbeni_efektivi

🇰🇷💥В прошлом году оборонные компании Южной Кореи добились рекордных показателей 📘Ведущие представители военно-промышленного комплекса РК опубликовали отчёты о результатах своей деятельности в 2025 г. Из них следует, что на фоне расширения объёмов экспорта оружия и военной техники в условиях роста глобальной геополитической напряжённости они достигли рекордных показателей продаж, прибыли и средней годовой заработной платы сотрудников. 📊Ниже приводим конкретные цифры: - Hanwha Aerospace: продажи 26,608 трлн вон (+137%), операционная прибыль 3,035 трлн вон (+75%), средняя годовая з/п 124 млн вон (+5,1%); - Hyundai Rotem: продажи 5,839 трлн вон, операционная прибыль 1,006 трлн вон, средняя годовая з/п 120 млн вон; - Korea Aerospace Industries (KAI): продажи 3,696 трлн вон (+1,7%), операционная прибыль 269,2 млрд вон (+11,8%), средняя годовая з/п 120 млн вон (+3,4%). #Новости#Корея#Экономика#ВПК#Прибыль#Продажи#HanhwaAerospace#HyundaiRotem#KAI

Dream oeuvre

@dream_ai · Post #784 · 20.04.2024 г., 10:06

Можете не считать меня фанатом, но есть не оспоримый факт, что я была на двух концертах у the Gazette. Слушала их благодаря аниме black butler. Косплей гробовщика с 2012г(приблизительно). Больно от того что эти билеты не могут вернуть пятёрку, которых я пела, хоть и не полностью попадая в слова... #TheGazette#reita#aoi#uruha#kai#ruki#ripreita

🇰🇷🤝🇮🇩Источники в оборонной промышленности Южной Кореи сообщают, что РК может подписать первое соглашение на поставку за рубеж истребителя KF-21 Boramae. Соответствующая церемония, якобы, состоится на базе компании-производителя самолёта Korea Aerospace Industries (KAI) в Санчхоне в рамках программы визита в Р. Корея президента Индонезии П. Субианто в период с 31 марта по 2 апреля. Завершить же заключение контракта предполагается в первом полугодии. 📄Вместе с тем, вместо изначально запланированной закупки 48 истребителей Индонезия, ссылающаяся на бюджетные ограничения, приобретёт в первой партии всего 16 боевых самолётов. 📌Напомним, что в реализации программы KF-X, результатом которой и стал истребитель KF-21, принимали участие Сеул и Джакарта. Последняя согласилась на финансирование около 20% затрат на разработку (8,1 трлн вон или порядка 5,9 млрд долл.) в обмен на 48 самолётов IF-X (индонезийский вариант) и трансфер технологий. Однако из-за финансовых сложностей Индонезия неоднократно откладывала платежи, а в итоге сократила свой вклад до 600 млрд вон (1/3 от первоначальной суммы) и уровень передачи технологий. 🇰🇵❗Кроме того, из-за возможного разглашения конфиденциальных сведений предметом озабоченности стал факт возобновления дипломатических отношений между Джакартой и Пхеньяном. #Новости#Корея#Политика#Экономика#ВПК#Индонезия#Сделка#KF21#Экспорт#Визит#Истребитель#KAI

🔤🔤🔤🔤🔤🔤🔤 lloydKaiJayCole𝙕𝙖𝙣𝙚Harumibeatrix Enjoy my new Pack Stikers 👏 and thanks for being here 😌 ▶️#LegoNinjago#Lloyd#Kai#Jay#Cole#Zane#Harumi#beatrix#Series 🟰 𝓒𝓻𝓮𝓪𝓽𝓸𝓻 🐱SΉΛDIZƗИΉӨ ➡️PINTEREST 😎฿ØØ₴₮ シ ⍩ ⍨ ⍤ ッ ㋛ ⍢〴 🕹