TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #crystals
@interesting_planet_facts · Post #1395 · 07.05.2026 г., 22:11
🌎 At the Musonoi mine in the Democratic Republic of the Congo, the mineral cuprosklodowskite forms vivid green crystals rich in uranium. This rare mineral is highly radioactive and prized by collectors, but handling it requires special care because of its radioactivity. ✨ #minerals⚡#crystals⚡#geology 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #1368 · 08.04.2026 г., 12:11
🌎 At Canada’s Mount Saint-Hilaire, the mineral serandite forms pinkish-orange crystals that are so rare, top-quality specimens are found only at this site. Serandite is a sodium, calcium, and manganese silicate, prized by collectors for its vibrant color and crystal shapes. ✨ #minerals⚡#geology⚡#crystals 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #1224 · 15.01.2026 г., 12:11
🌎 The world's rarest mineral is kyawthuite, a reddish-orange crystal discovered in Myanmar. Only one confirmed specimen exists, weighing just 1.61 carats, and it is made of bismuth, antimony, and oxygen. ✨ #minerals⚡#geology⚡#crystals 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #1192 · 04.01.2026 г., 18:11
🌎 Tanzanite is a vivid blue-violet mineral found only in a small area near Mount Kilimanjaro, Tanzania. This rare crystal is a variety of zoisite colored by trace amounts of vanadium. The entire world’s supply comes from a mining zone just 7 kilometers long. ✨ #minerals⚡#crystals⚡#geology 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #1162 · 25.12.2025 г., 12:11
🌎 In the Himalayas, rare crystal minerals like cavansite and scolecite form in volcanic rock cavities. Cavansite appears as brilliant blue clusters, while scolecite grows in needle-like sprays. Some Himalayan cavansite crystals are less than a few millimeters wide. ✨ #minerals⚡#crystals⚡#geology 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #1133 · 15.12.2025 г., 22:11
🌎 Bhutanite is an exceptionally rare mineral discovered in the Himalayan mountains of Bhutan. It forms metallic blue-gray crystals and contains copper, bismuth, and sulfur. Fewer than a dozen confirmed specimens exist worldwide, making it highly prized among mineral collectors. ✨ #minerals⚡#geology⚡#crystals 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #1042 · 15.11.2025 г., 22:11
🌎 In 2009, the mineral putnisite was discovered in Western Australia. This vibrant purple mineral forms tiny cubic crystals and contains strontium, calcium, chromium, sulfur, oxygen, hydrogen, and carbon. Unlike any known mineral group, putnisite’s unique chemical structure has fascinated mineralogists worldwide. ✨ #minerals⚡#geology⚡#crystals 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #1002 · 03.11.2025 г., 22:11
🌎 Hidden deep in Greenland’s Ilímaussaq complex, the mineral arfvedsonite forms striking blue-black crystals. This rare silicate mineral is found mainly in alkaline igneous rocks and is prized by mineral collectors. Some arfvedsonite crystals can reach lengths over 30 centimeters. ✨ #minerals⚡#crystals⚡#geology 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #928 · 18.10.2025 г., 12:11
🌎 Some of Earth’s rarest minerals include fingerite, found only near one volcano in El Salvador, and red beryl, which forms under extreme volcanic conditions in Utah. Fewer than one red beryl crystal is found for every 150,000 diamonds. ✨ #minerals⚡#crystals⚡#geology 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #861 · 05.10.2025 г., 12:11
🌎 In Greenland, the mineral tugtupite glows bright pink or red under ultraviolet light due to its unique crystal structure. This rare silicate forms in only a few places worldwide and is prized for use in jewelry. Tugtupite was first identified in 1962, and gem-quality stones are especially sought after by collectors. ✨ #geology⚡#minerals⚡#crystals 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #827 · 28.09.2025 г., 15:11
🌎 In Pakistan’s Balochistan province, the mineral rehmeyerite is so rare that only a handful of crystals have ever been found. Rehmeyerite forms as thin, metallic blades containing selenium, and its largest specimens rarely exceed a few millimeters in length. ✨ #minerals⚡#geology⚡#crystals 👉subscribe Interesting Planet 👉more Channels
@interesting_planet_facts · Post #797 · 22.09.2025 г., 15:11
🌎 The mineral cobaltite is prized by collectors for its metallic silver-gray cubes with a pinkish hue. Found mainly in Sweden, Norway, and Canada, cobaltite is a rare source of the metal cobalt, essential for rechargeable batteries and jet engine alloys. Its crystals rarely exceed 2 centimeters in size. ✨ #minerals⚡#geology⚡#crystals 👉subscribe Interesting Planet