TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #exoplanet
@cosmomyst · Post #20 · 29.07.2025 г., 22:51
🪐 Nearly 400 light-years from Earth, the bizarre exoplanet HD 189733b endures violent weather, with winds reaching up to 8,700 kilometers per hour. Its atmosphere contains silicate particles, causing glass rain that whips sideways at supersonic speeds, giving the planet an eerie, cobalt-blue hue. ✨ #exoplanet⚡#weather⚡#glass 👉subscribe Universe Mysteries
Hashtags
@cosmomyst · Post #30 · 30.07.2025 г., 03:51
🪐 The peculiar exoplanet GJ 1214b, orbiting a red dwarf 48 light-years away in the constellation Ophiuchus, is shrouded in a thick, steamy atmosphere dominated by water vapor. Observations suggest that this "mini-Neptune" may possess a vast, deep ocean beneath its clouds, making it a striking example of a possible water-world beyond our solar system. ✨ #exoplanet⚡#waterworld⚡#atmosphere 👉subscribe Universe Mysteries
Hashtags
@cosmomyst · Post #180 · 24.08.2025 г., 00:11
🪐 Exoplanet WASP-12b, about 1,400 light-years away in the constellation Auriga, is a giant planet so close to its star that its atmosphere is being stripped away, creating a glowing, comet-like tail. This tidal distortion makes WASP-12b egg-shaped rather than round, showing how extreme gravity can reshape giant planets when they orbit near their stars. ✨ #giantplanets⚡#exoplanet⚡#gravity⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #71 · 02.08.2025 г., 20:11
🪐 The exoplanet KELT-9b, orbiting a star about 670 light-years away in Cygnus, is one of the most extreme worlds ever found—its dayside temperatures soar above 4,000°C, hotter than some stars. Metal atoms like iron and titanium are vaporized in its atmosphere, creating a blistering, glowing layer of gas that defies what we imagine for planets outside our solar system. ✨ #exoplanet⚡#extremes⚡#heat⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #87 · 06.08.2025 г., 00:11
🪐 Far from Earth, the exoplanet COROT-7b endures some of the most extreme conditions known: it orbits its star so closely that its surface reaches about 2,000°C, hot enough to melt rock. Scientists believe this heat turns the planet’s rocky crust into a vast, bubbling “lava ocean,” creating a world where rock vaporizes into the atmosphere and rains down as pebbles. ✨ #exoplanet⚡#extremes⚡#lava⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #52 · 31.07.2025 г., 16:11
🪐 Orbiting the red dwarf LHS 3844, the exoplanet LHS 3844b is a rocky world with no detectable atmosphere and a surface thought to resemble volcanic basalt, much like the Moon’s dark maria. The planet's dayside bakes at over 770°C while its nightside plunges into perpetual darkness, creating a world divided between scorching light and endless night. ✨ #exoplanet⚡#extremes⚡#basalt⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #159 · 20.08.2025 г., 00:11
🪐 Scientists have identified the exoplanet Gliese 581d, orbiting a red dwarf star about 20 light-years away, as one of the earliest potentially habitable worlds outside our solar system. Gliese 581d lies within its star's habitable zone, where temperatures might allow liquid water to exist, making it a key target in the search for life beyond Earth. ✨ #exoplanet⚡#habitability⚡#water⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #133 · 14.08.2025 г., 20:11
🪐 Deep in the constellation Scorpius, the star KELT-9 stands out as the hottest known main-sequence star with a planet, blazing at over 10,000°C on its surface. Its intense ultraviolet radiation is so strong that it causes the atmosphere of its planet, KELT-9b, to evaporate away, carving one of the most dramatic examples of a planet literally being stripped by its parent star. ✨ #unusualstars⚡#scorpio⚡#exoplanet⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #65 · 02.08.2025 г., 13:12
🪐 Just 39 light-years away, the exoplanet TRAPPIST-1e circles its cool red dwarf star in the habitable zone, where temperatures might allow liquid water. Scientists have found that TRAPPIST-1e has a rocky surface and, unlike some of its neighbors, could have the right conditions for life as we know it. ✨ #exoplanet⚡#habitability⚡#TRAPPIST1e⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #51 · 31.07.2025 г., 13:11
🪐 The white dwarf WD 1145+017 in the constellation Virgo is surrounded by a cloud of dust and debris from a disintegrating minor planet. As the remains slowly spiral in, transit observations reveal dips in starlight—evidence of a cosmic demolition that offers a real-time look at how planetary systems can be torn apart at the end of a star's life. ✨ #whiteDwarf⚡#exoplanet⚡#debris⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #58 · 01.08.2025 г., 20:11
🪐 Gliese 436b, a Neptune-sized exoplanet in the constellation Leo, is wrapped in a scorching atmosphere where temperatures soar above 800°C. Strangely, its elongated, comet-like tail of evaporating hydrogen trails tens of millions of kilometers behind, evidence of atmospheric escape driven by its star’s relentless heat and radiation. ✨ #exoplanet⚡#evaporation⚡#Leo⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #459 · 26.10.2025 г., 22:21
🪐 The James Webb Space Telescope has detected carbon dioxide on the exoplanet HD 189733b, a giant world 64 light-years away in the constellation Vulpecula. This is the first time carbon dioxide—a common gas on Earth—has been firmly identified in the atmosphere of an exoplanet, using Webb’s powerful infrared instruments to reveal details about the planet’s chemistry and hint at how its formation differs from giant planets in our own solar system. ✨ #webb⚡#exoplanet⚡#atmospheres⚡#discoveries⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries 👉more Channels