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

Търсене: #riftvalley

当前筛选 #riftvalley清除筛选
Interesting Planet 🌍

@interesting_planet_facts · Post #527 · 09.08.2025 г., 13:22

🌎 In Kenya’s Rift Valley, the Lake Bogoria geysers shoot steaming water up to 5 meters high, fueled by underground heat and minerals. These hot springs nurture thousands of pink flamingos that gather for the rich algae—a natural wonder of water, heat, and color. ✨ #geyser⚡#flamingo⚡#RiftValley 👉subscribe Interesting Planet

🌊 ETHIOPIA: AFRICA'S WATER TOWER ኢትዮጵያ፡ የአፍሪካ የውሃ ማማ ЭФИОПИЯ: ВОДОНАПОРНАЯ БАШНЯ АФРИКИ Where legends begin - where life flows! 💙 ━━━━━━━━━━━━━━━━ 💙 LAKE TANA (ጣና ሀይቅ) - SOURCE OF THE NILE This is where Africa's greatest river is born: 🌊THE BLUE NILE: • Ethiopia provides 85% of the Nile's water! • 3,600 km² of pristine water • Flows 1,450 km from Tana to Sudan • "አባይ ወንዝ" (Abay) - Mother of Rivers 🏝️37 ISLAND MONASTERIES: • Some over 800 years old • Ancient manuscripts preserved • Traditional papyrus boats (tankwa) still used • Living history on water "The Blue Nile carries Ethiopia's gift to Africa and the world"🌍💙 ━━━━━━━━━━━━━━━━ 🏞️ GREAT RIFT VALLEY LAKES የሪፍት ሸለቆ ሀይቆች Nature's masterpieces: 🌅LAKE LANGANO: • Only swimmable rift lake! • Black volcanic beaches • Resort paradise 🦩LAKE ABIJATA & SHALA: • Thousands of pink flamingos • Alkaline waters = unique ecosystem • National Park protection • Photographers' dream 💚LAKE ZIWAY: • Thriving fishing communities • 300+ bird species • Fresh tilapia straight from water 🌋LAKE CHAMO: • "Crocodile market" - hundreds sunbathing! • Giant Nile crocodiles (6+ meters!) • Hippo pods & boat safaris Africa's Great Rift Valley creates magic in Ethiopia!✨ ━━━━━━━━━━━━━━━━ 💧 THE WATER TOWER OF AFRICA 🌍THE NUMBERS: • 12 major river basins • 11 lakes (8 in Rift Valley) • 122 billion m³ annual water resources • 85% of Nile water from Ethiopia • Water source for 11 African countries "ውሃችን የአፍሪካ ህይወት ነው" (Our water is Africa's life) ━━━━━━━━━━━━━━━━ 🌱 PROTECTING THE SOURCE Conservation efforts: ✅ Reforestation (billions of trees!) ✅ Lake protection zones ✅ Sustainable fishing ✅ Community conservation ✅ Research programs Preserving water = preserving life for all Africa💚 ━━━━━━━━━━━━━━━━ 🎒 EXPERIENCE ETHIOPIA'S WATERS Must-visit: 🚣LAKE TANA: • Island monastery tours • Traditional tankwa boats • Blue Nile Falls nearby • Coffee ceremony on shore ☕ 🏖️RIFT VALLEY CIRCUIT: • Beach resorts at Langano • Flamingo watching at Abijata • Crocodile tours at Chamo • Bird watching paradise 📸BLUE NILE FALLS: • "Tis Issat" (ጥስ እሰት) - "Water that Smokes" • 400m wide in rainy season • Rainbow mist all day • One of Africa's most spectacular waterfalls ━━━━━━━━━━━━━━━━ 🌊 WHY THIS MATTERS FOR ETHIOPIA: 💧 Water security for 120+ million 🌾 Agriculture & food production ⚡ Hydropower generation 🎣 Fishing community livelihoods FOR AFRICA: 🌍 Life source for Egypt, Sudan, South Sudan 💚 Regional water cooperation 🤝 Shared prosperity FOR THE WORLD: 🌱 Sustainable water management model 🦩 Biodiversity conservation 📚 Ancient wisdom meets modern stewardship ━━━━━━━━━━━━━━━━ 💙 FUN FACTS: 🤯 Ancient Egyptians called Ethiopia "Land of Gods"! 🤯 Lake Tana at 1,788m altitude - "highland sea" 🤯 Blue Nile's name from black sediment that looks blue 🤯 Some monasteries have 1300s manuscripts! 🤯 Rift Valley = tectonic plates separating! 🤯 Flamingos migrate in thousands - pink clouds! ━━━━━━━━━━━━━━━━ 🌊 FROM SOURCE TO SEA Ethiopia's water journey: Lake Tana → Blue Nile → Sudan → Egypt → Mediterranean 6,650 km sustaining 300+ million people "From Ethiopia's highlands - life flows to the world"🌍💙 ━━━━━━━━━━━━━━━━ NEXT:⚡ How Ethiopia turns water into POWER! ━━━━━━━━━━━━━━━━ 🌍 ETHIOPIA | ЭФИОПИЯ | ኢትዮጵያ 📱 Join us: @ethiopia telegram #EthiopiaWater#LakeTana#BlueNile#RiftValley#SourceOfTheNile#EthiopianLakes#AfricaWater#NileRiver