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

Търсене: #salut

当前筛选 #salut清除筛选
Russian Embassy in Albania

@rusembalb · Post #6739 · 12.04.2025 г., 10:04

🚀 Në 64-vjetorin e fluturimit të parë të njeriut në hapësirën kozmike, ju tregojmë për arritjet më domethënëse të specialistëve sovjetikë dhe rusë në fushën e eksplorimit të hapësirës. Në vitin 1957 Bashkimi Sovjetik për herë të parë në historinë e njerëzimit lëshoi satelitin e parë artificial të Tokës, “#Sputnik-1”. Në vitin 1963 pilotja sovjetike, Valentina #Tereshkova u bë gruaja e parë që fluturoi drejt hapësirës. Në vitin 1965 qytetari i Bashkimit Sovjetik, Aleksei #Leonov, i pari në historinë e njerëzimit realizoi daljen në kozmos të hapur. Ai doli nga anija në një distancë prej pesë metrash dhe qëndroi jashtë saj 12 minuta dhe 9 sekonda. 🛰 “#Salut-1”, i lëshuar në orbitën e Tokës në vitin 1971, u bë stacioni i parë orbital afatgjat i Tokës në botë. Aparati qëndroi në orbitë 175 ditë duke dëshmuar mundësinë e një fluturimi të kontrolluar afatgjatë rreth planetit. Në vitin 1998 në orbitë u hodh moduli “Zarya” (ang. Functional Cargo Block), i cili u bë elementi i parë i Stacionit Ndërkombëtar Kozmik (ISS) të ardhshëm. 🇷🇺Rusia edhe sot zë një vend kryesor midis eksploruesve të hapësirës kozmike. Agjensia Kombëtare Hapësinore “#Roskosmos” po zhvillon në mënyrë aktive sistemin “#GLONASS”, një nga dy sistemet globale të navigimit satelitor, analog i GPS-it amerikan. Kryen eksperimente shkencore në orbitë dhe zhvillon materiale të reja. ☝️ Studimet e "Roscosmos" ndihmojnë në zhvillimin e mjekësisë dhe industrisë, ndërsa satelitët e tij na lejojnë të vëzhgojmë ndryshimet klimatike, nivelin e detit dhe kushtet atmosferike. Disa vite më parë shkencëtarët rusë prezantuan motorin e parë në botë bërthamor për fluturime ndërplanetare, i cili do të mundësojë në të ardhmen udhëtime midis planeteve të Sistemit diellor. “Roskosmos” së bashku me partnerët e tij të huaj merr pjesë në mënyrë aktive në eksplorimin e Hënës, Marsit, Venerës, e cila madje u quajt “planeti rus”, pasi pikërisht studiesit sovjetikë dhe rusë dhanë kontributin më të madh në studimin e saj. ____ 🚀 В день 64-летия первого полета человека в космос рассказываем о наиболее значимых достижениях советских и российских специалистов в области освоения космоса. В 1957 г. Советский Союз впервые в истории человечества запустил первый искусственный спутник Земли «#Спутник-1». В 1963 г. советская летчица Валентина #Терешкова стала первой женщиной, покорившей космос. В 1965 г. гражданин СССР Алексей #Леоновсовершил первый в истории выход человека в открытый космос. Он удалился от корабля на пять метров и пробыл за его пределами 12 минут 9 секунд. 🛰 Запущенный в 1971 г. на орбиту Земли «#Салют-1» стал первой в мире долговременной орбитальной станцией Земли. Аппарат пробыл на орбите 175 суток, доказав возможность долговременного управляемого полета вокруг планеты. В 1998 г. на орбиту был выведен функционально-грузовой блок «Заря», ставший первым элементом будущей Международной космической станции (МКС). 🇷🇺Россия и сегодня занимает ведущее место среди покорителей космического пространства. Национальное космическое агентство «#Роскосмос» активно развивает систему «#ГЛОНАСС», одну из двух глобальных систем спутниковой навигации, аналог американской GPS. Проводит научные эксперименты на орбите, разрабатывает новые материалы. ☝️ Исследования «Роскосмоса» помогают развивать медицину и промышленность, а его спутники позволяют наблюдать за изменениями климата, уровнем моря и состоянием атмосферы. Несколько лет назад российские учёные представили первый в мире ядерный двигатель для межпланетных перелётов, который позволит в будущем путешествовать между планетами Солнечной системы. «Роскосмос» вместе со своими иностранными партнерами активно участвуют в исследовании Луны, Марса, Венеры, которую даже прозвали «русской планетой», поскольку самый большой вклад в ее изучение внесли именно советские и российские исследователи. 📹https://t.me/roscosmos_gk