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

Резултати

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

Търсене: #coomet

当前筛选 #coomet清除筛选

COOMET TK 1.3 “Elektr va magnetizm”ning 19-yig‘ilishi Toshkentda bo‘lib o‘tmoqda ✅ Yangi O‘zbekiston tarixida ilk bor 2025-yil 7–9-oktabr kunlari O‘zbekiston texnik jihatdan tartibga solish agentligi huzuridagi O‘zbekiston milliy metrologiya instituti (O‘zMMI) tomonidan COOMETning TK 1.3 “Elektr va magnetizm” texnik qo‘mitasining 19-yig‘ilishi bo‘lib o‘tmoqda. ✅ Mazkur xalqaro tadbirda COOMETga a’zo davlatlar — Belarus, Rossiya, Xitoy, Qozog‘iston Respublikasi, Armaniston, Gruziya, Turkiya, Ozarbayjon kabi mamlakatlarning milliy metrologiya institutlari vakillari shuningdek, texnik qo‘mita a’zolari ishtirok etmoqda. ✅ Tadbir onlayn va oflayn formatda tashkil etilgan bo‘lib, unda COOMET kotibiyati hamda boshqa xalqaro metrologiya tashkilotlari vakillari ham qatnashmoqda. ✅ Yig‘ilishga TK 1.3 raisi, BelGIM instituti vakili Marina Yarmolovich raislik qilmoqda. ✅ Tadbir doirasida quyidagi masalalar muhokama etilmoqda: 🟤 COOMET qo‘mitasi va Prezident kengashi qarorlari hamda ularning ijrosi; 🔴 etalonlar bo‘yicha Qo‘shma qo‘mitaning (OKÉ) 28–29-yig‘ilishlari yakunlari; 🟢 elektr kattaliklar sohasidagi xalqaro va mintaqaviy solishtirishlarning borishi hamda O‘zbekiston milliy metrologiya instituti tomonidan taklif etilayotgan yangi solishtirish loyihalari; 🟡 COOMET P6/2023 dasturi doirasidagi “SI asosiy birliklarini qayta ta’riflash” bo‘yicha yo‘l xaritasi ijrosi; 🩷 TK 1.3 faoliyatining 2024–2025-yillardagi natijalari va yangi yo‘nalishlar bo‘yicha takliflar. ✅ Yig‘ilish davomida Rossiya, Belarus, Gruziya, Turkiya va O‘zbekiston milliy etalonlari ishtirokida o‘tkazilayotgan hamda rejalashtirilayotgan bir qator solishtirishlar — xususan, Jozefson effekti bo‘yicha kuchlanish etalonlari, Xoll effekti bo‘yicha qarshilik etalonlari, shuningdek, yuqori kuchlanish va katta tok o‘lchov tizimlari sohasidagi qiyoslamalar muhokama qilinmoqda. ✅ Shuningdek, CIPM MRA kelishuvi doirasidagi faoliyat, SMS (Calibration and Measurement Capabilities) bo‘yicha ekspertlar ro‘yxatini yangilash, CEEMS mamlakatlariga ko‘mak dasturlari va elektron o‘quv platformalarini yaratish bo‘yicha takliflar ham ko‘rib chiqilmoqda. ✅ Yig‘ilish COOMETga a’zo mamlakatlar o‘rtasida elektr va magnet o‘lchashlar sohasidagi hamkorlikni yanada mustahkamlash, qiyoslamalarni tashkil etish va ilmiy-amaliy tajriba almashish maqsadida o‘tkazilmoqda. #UzNIM#COOMET#TK_1_3#electricity_and_magnetism 🌐standart.uz | Facebook | Instagram | YouTube

Incheon mezbonligidagi APMP 41-yig‘ilishi: O‘zbekiston delegatsiyasi faol ishtirok etmoqda 🔄 O'zbekiston texnik jihatdan tartibga solish agentligi huzuridagi O‘zbekiston milliy metrologiya instituti vakillari Osiyo–Tinch okeani metrologiya dasturi (APMP) Bosh Assambleyasining 41-yig‘ilishida, shuningdek Davlat metrologiya muassasalarining Yevro–Osiyo hamkorligi (COOMET) tashkiloti nomidan ishtirok etmoqda. 📍Nufuzli anjuman 2025 yil 21–28 noyabr kunlari Koreya Respublikasining Incheon shahrida, Koreya o‘lchovlar va ilmiy-tadqiqot instituti (Korea Research Institute of Standards and Science – KRISS) tomonidan tashkil etilmoqda. ✍️ Bu xalqaro tadbirda O'zbekiston milliy metrologiya instituti hodimlari metrologiyaning akustika, massa, elektr, uzunlik, harorat, sarf, fotometriya, kimyo, ionlantiruvchi nurlanish, vaqt va chastota yo‘nalishlari hamda sifat tizimi bo‘yicha texnik qo‘mitalar yig‘ilishlarida faol ishtirok etdi. ✅Ushbu yig‘ilishda ishtirok etish orqali O‘zMMI mutaxassislari turli yo‘nalishlardagi eng so‘nggi yutuqlar, metodikalar va xalqaro talablar bilan tanishdilar va o'z yo'nalishlari bo'yicha taqdimotlar taqdim etdilar. ✅ Ma'lumot uchun: Hozirgi kunga kelib, O‘zMMI APMP doirasida BIPM bazasida ro‘yxatga olingan 3 ta (akustika va tebranish, uzunlik, hajm) solishtirish loyihalarida ishtirok etmoqda, shu bilan birga 2025 yil davomida NIM (China)da – 11 nafar NIMT (Tailand)da – 5 nafar KRISS (Koreya)da – 3 nafar mutaxassislar malakasi oshirildi. 🎖️ Tadbir doirasida KRISSning 50 yillik faoliyati, shuningdek, Metrik konvensiya qabul qilinganligining 150 yilligi ham tantanali ravishda nishonlanadi. 📈 Ushbu yirik xalqaro tadbirga qatnashish massa, ionlovchi nurlanish, elektr va magnetizm, bosim, uzunlik, fotometriya, vaqt va chastota o‘lchash yo‘nalishlarida tashkil etilishi rejalashtirilgan yangi solishtirish loyihalarda ishtirok etish imkonyatini beradi. ❗️ Mazkur anjumanda O‘zMMI vakillarining ishtiroki Germaniya Fizik-texnik instituti (PTB)ning “Milliy sifat infratuzilmasini rivojlantirish” loyihasi doirasida qo‘llab-quvvatlanmoqda. 📰 Shuningdek, ta'kidlash joizki, APMP rasmiy veb-saytida O‘zMMI ning joriy yildagi faoliyati xalqaro jamoatchilikka “Highlights of Recent Activities at UzNIM” nomli maqola orqali taqdim etildi. (https://www.apmpweb.org/portal/article/index/cid/16/id/1336.html). #UzNIM#APMP#KRISS#COOMET#Metrology#APMP_GA_2025 🌐standart.uz | Facebook | Instagram | YouTube