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

Резултати

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

Търсене: #unisat

当前筛选 #unisat清除筛选
🚀 Unisat.uz

@unisat_uz · Post #678 · 09.05.2022 г., 13:02

#UniSat Нанойўлдош учирилиши муваффақиятли ўтди. У стратосферага кўтарилиб, бир неча кўрсаткичлар бўйича ўлчовларни амалга оширади. Қизлар унинг йўналиши бўйича маълумотларни интиқлик билан кузатмоқда. _ _ _ _ _ Наноспутник успешно взлетел до самой стратосферы. Уже скоро он опустится с измерениями по нескольким параметрам. Девочки внимательно следят за данными по координатам. @mininnovation

Hashtags

🚀 Unisat.uz

@unisat_uz · Post #547 · 30.03.2022 г., 10:31

🛬#UniSat qizlar dasturining o’zbekistonlik 20 nafar ishtirokchisi bugun Almatidan Toshkentga qaytib kelishdi. Ular Qozog‘iston🇰🇿 va Qirg‘iziston🇰🇬 vakillari bo’lgan tengdoshlari bilan birgalikda stratosferaga nanosun’iy yo‘ldoshlarni uchirdilar. ✅ Keyingi oylar davomida bu qizlar UniSat dasturining boshqa ishtirokchilari bilan nanosun’iy yo‘ldoshni yig‘ish va uchirish bo‘yicha o‘z tajribalarini o’rtoqlashadilar. UniSat dasturining O‘zbekistondagi yetakchi hamkorlari Tech4Impact NNT va Innovatsion rivojlanish vazirligidir. *** 🛬 Сегодня топ-20 участниц программы #UniSat из Узбекистана вернулись в Ташкент из Алматы, где они запуститили в стратосферу наноспутники вместе со сверстницами из Казахстана🇰🇿 и Кыргызстана🇰🇬. ✅ Они поделятся своим опытом по сборке и запуску наноспутника с другими участницами программы в течение следующих месяцев. Ведущими партнерами программы UniSat в Узбекистане являются ННО Tech4Impact и Министерство инновационного развития.

Hashtags

🚀 Unisat.uz

@unisat_uz · Post #1091 · 09.03.2023 г., 08:19

Bu yilgi Xalqaro xotin-qizlar kuni fan, texnologiya va innovatsiyalardagi gender tafovutlarini bartaraf etishga bag‘ishlangan. Dunyo miqyosida erkaklar Internetdan ayollarga nisbatan hali ham 21 foizga ko‘proq foydalanish imkoniyatiga ega, kam daromadli mamlakatlarda esa bu ko‘rsatkich 50 foizdan oshadi. UNICEF fan, texnologiya, muhandislik va matematika – STEM sohalarida gender tengsizlikni bartaraf etish ustida ishlamoqda. #Skills4Girls va #UniSat dasturlari doirasidagi tadbirlarda ishtirok etgan O‘zbekistonning barcha viloyatlaridagi o‘nlab qizlar STEM bo‘yicha bilim va ko‘nikmalarga ega bo‘lib, o‘z orzulariga erishish yo‘lda o‘qishni muvaffaqiyatli davom ettirmoqdalar.

🚀 Unisat.uz

@unisat_uz · Post #1087 · 09.03.2023 г., 08:19

В этом году празднование Международного женского дня посвящено устранению гендерного разрыва в области науки, техники и инноваций. По всему миру мужчины все еще на 21 процент больше, чем женщины, имеют доступ к Интернету, а в странах с низким уровнем дохода этот показатель составляет более 50 процентов. ЮНИСЕФ работает над устранением гендерного неравенства в области науки, технологий, инженерии и математики – STEM. Благодаря программам #Skills4Girls и #UniSat десятки девочек из всех регионов Узбекистана получили знания и навыки в STEM и успешно продолжают учебу на пути к свой мечте.

🚀 Unisat.uz

@unisat_uz · Post #717 · 10.05.2022 г., 06:15

🚀O‘zbekistonning turli hududlaridan 20 nafar qiz stratosferaga o‘zlari yasagan ultrazamonaviy nanosun’iy yo‘ldoshni uchirdilar. 🛰O‘zgidromet mutaxassislari ko‘magida qizlar to‘plangan meteorologik ma’lumotlarni tahlil qiladilar. 🔗Batafsil o'qing: https://uni.cf/3N3d7wl #UniSat#QizlarIlmFanda *** 🚀20 девушек из разных регионов Узбекистана запустили в стратосферу свой ультрасовременный наноспутник. 🛰При поддержке специалистов Узгидромета девушки проанализируют собранные метеорологические данные. 🔗Узнайте больше: https://uni.cf/3ypdsFu #UniSat#ДевочкиВнауке @unicefuzbekistan Facebook | Instagram | Twitter

🚀 Unisat.uz

@unisat_uz · Post #918 · 26.11.2022 г., 05:39

Лекция от Евгения Скляревского на церемонии открытия программы UniSat 2.0 Тема: «Без математики лучистой жизнь скучна и неказиста» О спикере: Евгений Скляревский - блогер, сотрудник пресс-службы хокимията, любитель орнаментов, фракталов и флексагонов, популяризатор науки. 📍Мероприятие пройдёт в Министерстве Инновационного развития, 28 ноября в 14.00 Регистрация по ссылке: https://docs.google.com/forms/d/e/1FAIpQLSdi6BxQnbCP79qX5ApubfwIPI_yeoOfrxlqqjgGiumY4NE7UQ/viewform?usp=sf_link --------- UniSat 2.0 dasturining ochilish marosimida Yevgeniy Sklyarevskiy ma’ruzasi Mavzu: «Nurli matematikasiz hayot zerikarli va ko‘rksiz» Spiker haqida: Yevgeniy Sklyarevskiy - bloger, hokimlik matbuot xizmatining xodimi, naqshlar, fraktallar va fleksagonlar ishqibozi, ilm-fan targ‘ibotchisi. 📍Tadbir Innovatsion rivojlanish vazirligida 28-noyabr kuni soat 14:00 da o‘tkaziladi Ro‘yxatdan ushbu havola bo‘yicha o‘tish mumkin: https://docs.google.com/forms/d/e/1FAIpQLSdi6BxQnbCP79qX5ApubfwIPI_yeoOfrxlqqjgGiumY4NE7UQ/viewform?usp=sf_link #unisat#nanosatellite#GirlsinSTEM#cubesats#spacetalents

🚀 Unisat.uz

@unisat_uz · Post #912 · 24.11.2022 г., 16:29

28 ноября гостем церемонии открытия программы UniSat 2.0.. станет Дмитрий Шноль - академический директор школы "Oxbridge", автор школьных пособий по математике, член жюри российского творческого конкурса учителей математики. ⚙️Тема: Геометрия неба Мы начнем разговор с того, как в Древней Греции люди впервые смогли размышлять о Земле как об астрономическом теле, поняли, что Земля шарообразна, и измерили ее размер. Замечательно, что математические знания современного 8-классника позволяют ему понять, как решили эту задачу гении прошлого. Затем мы обсудим, как математика позволяет выбрать самый экономичный маршрут для современного самолета. А шаг от самолетов к спутникам вы сделаете сами. 📍Мероприятие пройдёт в Министерстве Инновационного развития, 28 ноября, в 14:00. Регистрация по ссылке: https://docs.google.com/forms/d/e/1FAIpQLSdi6BxQnbCP79qX5ApubfwIPI_yeoOfrxlqqjgGiumY4NE7UQ/viewform?usp=sf_link UniSat — это совместная программа ННО Tech4Impact, UNICEF, Министерства инновационного развития Республики Узбекистан. --------------- 28-noyabr kuni Dmitriy Shnol - "Oxbridge" maktabining akademik direktori, matematika bo‘yicha maktab qo‘llanmalarining muallifi, Rossiya matematika o‘qituvchilari ijodiy tanlovining hakamlar hay’ati a’zosi – UniSat 2.0 dasturining ochilish marosimida mehmonga aylanadi. ⚙️Mavzu: Osmon geometriyasi Biz suhbatni qanday qilib Qadimiy Yunonistonda odamlar ilk bor Yer haqida astronomik jism sifatida fikr yurita boshlaganidan, Yer sharsimon shaklda ekanini tushunishganidan va qanday qilib uning o‘lchamini aniqlashganidan boshlaymiz. Hozirgi 8-sinf o‘quvchisining matematika bo‘yicha bilimlari unga o‘tmish daholarining bu masalasini qanday yechishni tushunish imkonini berishi ajoyib. Keyin biz matematika qanday qilib zamonaviy samolyot uchun eng tejamkor yo‘nalishni tanlash imkonini berishini muhokama qilamiz. Samolyotlardan sun’iy yo‘ldoshlarga qadamni esa o‘zingiz tashlaysiz. 📍Tadbir Innovatsion rivojlanish vazirligida 28-noyabr kuni soat 14:00 da o‘tkaziladi. Ro‘yxatdan o‘tish ushbu havola bo‘yicha: https://docs.google.com/forms/d/e/1FAIpQLSdi6BxQnbCP79qX5ApubfwIPI_yeoOfrxlqqjgGiumY4NE7UQ/viewform?usp=sf_link UniSat — bu Tech4Impact NNT, UNICEF, O‘zbekiston Respublikasi Innovatsion rivojlanish vazirligining hamkorlikdagi dasturi. #unisat#nanosatellite#GirlsinSTEM#cubesats#spacetalents

🚀 Unisat.uz

@unisat_uz · Post #902 · 11.11.2022 г., 11:14

❓Какими словами можно описать программу UniSat? Какие важные знания можно получить, участвуя в программе? 🗣 Ответить на этот вопрос мы попросили участниц прошлого запуска CubeSat. "Космос, мечта, крутые девчонки, исполнение мечты, командная работа, навыки программирования и многое другое". ✅ Участвуй в программе и найди свой ответ на эти вопросы. Регистрация на сайте https://unisat.uz/ ——————— ❓UniSat dasturini qanday so‘zlar bilan ta’riflash mumkin? Dasturda qatnashgan holda qanday muhim bilimlarga ega bo‘lish mumkin? 🗣 Biz avvalgi CubeSat’ni uchirishda qatnashgan ishtirokchilardan shu savollarga javob berishlarini iltimos qildik. "Fazo, orzu, ajoyib qizlar, orzularning ro‘yobga chiqishi, jamoaviy ish, dasturlash ko‘nikmalari va boshqalar". ✅ Dasturda qatnashing va bu savollarga o‘z javobingizni toping. Ro‘yxatdan o‘tish https://unisat.uz/ saytida #unisat#nanosatellite#GirlsinSTEM#cubesats#spacetalents

🚀 Unisat.uz

@unisat_uz · Post #493 · 27.03.2022 г., 07:59

#QizlarIlmFanda #UniSat qatnashchilari joyda! 🙌 Uchirishga tayyorgarlik so'nggi bosqichda 💫 *** #ДевочкивНауке Учвстницы #UniSat на месте!🙌 Готовность к запуску максимальная 💫 #GirlsInScience#GirlsInSTEM #ForEveryChild#ДляКаждогоРебенка#HarBirBolaUchun

🚀 Unisat.uz

@unisat_uz · Post #480 · 27.03.2022 г., 05:14

#QizlarIlmFanda "Olti kun ichida o‘zbekistonlik bir guruh qizlar bilan nanoyo‘ldoshn yig‘dik. Bu jarayon juda qiziq kechdi. Biz uni bugun uchiramiz".🛰 ✅️ 18 yoshli Ozoda #UniSat dasturining final bosqichiga chiqqan o‘zbekistonlik 20 nafar qizdan biri. Nanoyo'ldoshni uchirish jarayonidan xabarlarni kutib qoling. 💙 *** #ДевочкивНауке "За шесть дней мы с группой девочек из Узбекистана собрали свой наноспутник. Это был очень интересный процесс. Мы его запустим уже сегодня."🛰 ✅️ Озода, 18 лет, одна из 20 девочек из Узбекистана, попавших в финальный этап #UniSat. Ожидайте новостей с запуска наносуптника уже сегодня 💙 #GirlsInScience#GirlsInSTEM #ForEveryChild#ДляКаждогоРебенка#HarBirBolaUchun