TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #methane
@interesting_planet_facts · Post #1001 · 03.11.2025 г., 18:11
🌎 In the deep ocean, methane hydrate deposits form icy, flammable crystals that trap methane gas in water molecules. These deposits occur at high pressure and low temperature, mainly along continental margins, and may hold more carbon than all other fossil fuels combined. ✨ #ocean⚡#geology⚡#methane 👉subscribe Interesting Planet 👉more Channels
@amazingeo · Post #422 · 29.10.2025 г., 20:31
🌍 Global methane emissions from wetlands are rising due to warmer temperatures and increased rainfall. This powerful greenhouse gas traps far more heat than carbon dioxide in the atmosphere. ✨ #climate⚡#wetlands⚡#methane⚡#geography⚡#nature⚡#earth 👉subscribe Amazing Geography 👉more Channels
@amazingeo · Post #366 · 13.10.2025 г., 12:31
🌍 In tundra regions, permafrost can sometimes trap ancient methane gas. When the ground thaws, bubbles of this gas may rise and burst at the surface, creating sudden pops in the landscape. ✨ #permafrost⚡#tundra⚡#methane⚡#geography⚡#nature⚡#earth 👉subscribe Amazing Geography 👉more Channels
@interesting_planet_facts · Post #522 · 08.08.2025 г., 16:22
🌎 A layer of diamond rain may fall deep within Neptune and Uranus! Under immense pressure, methane breaks apart, causing carbon atoms to form glittering diamond crystals that drift towards the core. ✨ #planets⚡#diamonds⚡#methane 👉subscribe Interesting Planet
@amazingeo · Post #496 · 05.12.2025 г., 20:31
🌍 Melting permafrost in Arctic regions is releasing ancient greenhouse gases like methane, accelerating climate change and threatening traditional ways of life for local communities. ✨ #permafrost⚡#climate⚡#change⚡#methane⚡#geography⚡#nature⚡#earth 👉subscribe Amazing Geography 👉more Channels
@interesting_planet_facts · Post #1120 · 11.12.2025 г., 18:11
🌎 Every summer in Siberia, mysterious craters known as "Yamal holes" appear in the Arctic tundra. These giant pits, sometimes 20 meters wide, form when underground methane gas builds pressure and violently explodes through permafrost. Scientists have identified at least 17 such craters since 2014, linking them to warming temperatures and melting ice. ✨ #permafrost⚡#methane⚡#explosions 👉subscribe Interesting Planet 👉more Channels
Hashtags
@cosmomyst · Post #83 · 05.08.2025 г., 03:11
🪐 Saturn’s moon Titan is one of the most intriguing places in the solar system where life could exist because it has lakes and rivers of liquid methane and ethane—chemicals similar to gasoline on Earth. While it’s far too cold for liquid water, scientists are captivated by the idea that life, if it ever formed there, would be fundamentally different from anything on our planet. ✨ #Titan⚡#methane⚡#habitability⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #132 · 14.08.2025 г., 16:11
🪐 Scientists have detected unusual patterns of methane gas in the atmosphere of Mars, with the Curiosity rover finding short-lived spikes near the Gale Crater. Since methane can be produced by both geological processes and living microbes, its mysterious appearance and disappearance on Mars keeps the search for alien life in our own solar system wide open. ✨ #Mars⚡#Curiosity⚡#methane⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@ihteubras · Post #329 · 18.07.2023 г., 05:16
В журнале Electrochemical Materials and Technologies вышла обзорная работа "H/D exchange studies of methane activation mechanisms in heterogeneous catalysis" 🔗https://doi.org/10.15826/elmattech.2023.2.014 🔗https://journals.urfu.ru/index.php/elmattech/article/view/6883 В данном обзоре подробно рассматривается механизм конверсии метана и анализируются существующие теоретические и экспериментальные подходы к изотопному обмену H/D между метаном и каталитическими системами: #CH4#methane#conversion#isotope#catalyst#bonds#homogeneous#exchange #