TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #weirdfacts
@googlefactss · Post #40061 · 10.11.2025 г., 19:02
Chanel Tapper holds the Guinness World Record for the longest tongue — 3.8 in (9.75 cm) — and says she loves watching people shriek in disbelief. She can remove Jenga blocks, grab a lemon from a glass, flip plastic cups, lift a spoon by curling it, and touch her nose and chin with the tip. [Read more] 👅✨😲 @googlefactss#weirdfacts#worldrecords#humanbody#nowyouknow#funfact
@googlefactss · Post #40863 · 26.03.2026 г., 23:01
There is a naturally occurring metal called gallium that melts in your hand. It has a melting point of about 29.8°C (85.6°F), so just holding it makes it turn from a shiny solid into a silvery liquid. Gallium doesn’t react with air, so it can sit in your hand safely, but it can melt containers made of aluminum. Scientists use gallium in electronics, LED lights, and solar panels because of its unique properties. [Read more] @googlefactss #Science#WeirdFacts#Chemistry#DidYouKnow#Materials#Innovation
@googlefactss · Post #40862 · 26.03.2026 г., 15:02
In Death Valley’s Racetrack Playa, large rocks, some weighing hundreds of kilograms, move across the dry lake bed, leaving long tracks behind. This happens when a rare set of conditions align. First, rain fills the lake bed with a shallow layer of water. At night, the water freezes into thin sheets of ice. As the sun warms the ground, the ice breaks into large, floating panels. Light winds then push the ice, slowly moving the rocks across the playa. The tracks left behind can last for decades, creating unique patterns. This natural process has been understood by scientists and is one of the most fascinating geological phenomena. 🪨❄️🌞 [Read more] @googlefactss #Nature#WeirdFacts#Geography#DidYouKnow#Deserts#Science#Mystery
@googlefactss · Post #40844 · 23.03.2026 г., 07:01
There is a volcano in Indonesia called Kawah Ijen that glows bright blue at night. The blue glow comes from burning sulfur gases that ignite as they escape from the crater. Miners work in the area collecting solidified sulfur, even though the fumes are toxic. The effect makes the crater look like a surreal, electric-blue river flowing through the volcano, attracting photographers and adventurers from around the world. 🌋🔵🔥 [Read more 1] [Read more 2] @googlefactss #Nature#WeirdFacts#Volcanoes#DidYouKnow#Science#Adventure#Indonesia
@googlefactss · Post #40821 · 18.03.2026 г., 15:03
There is a place in the Sahara Desert called the Richat Structure, also known as the “Eye of the Sahara.” It is a giant circular formation nearly 50 kilometers wide, visible from space. Scientists believe it formed from erosion, exposing layers of rock in concentric rings. The structure is perfectly round, which makes it look like a massive bullseye in the desert. It has fascinated explorers and geologists for decades because of its unusual shape. 🎯🏜️🌍 [Read more] @googlefactss #Geography#WeirdFacts#Nature#DidYouKnow#Desert#Earth#Landmarks
@googlefactss · Post #40830 · 19.03.2026 г., 15:10
Mammatus clouds look like a sky full of hanging pouches or bubbles. Their name comes from the Latin word “mamma,” which means “breast,” because of their rounded, pouch-like shapes. These clouds often appear after thunderstorms and can be bright white, gray, or even orange during sunset. Despite their dramatic appearance, they are mostly harmless and form when cold air sinks into warmer air below, creating the pouch-like shapes. ☁️🌅🌩️ [Read more 1] [Read more 2] Show your own mammatus cloud pictures, the one with the most likes gets added to the post. 😉 @googlefactss #Nature#WeirdFacts#Weather#DidYouKnow#Clouds#Atmosphere#Sky