TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #astrophysics
@interesting_planet_facts · Post #716 · 09.09.2025 г., 13:22
🌎 Lurking in deep space, “dark matter” makes up about 27% of the universe, yet it remains invisible. Scientists infer its existence by observing gravity’s effects—like stars swirling faster than visible matter alone predicts. Its true nature is still unknown, but it outweighs all regular matter combined. ✨ #space⚡#astrophysics⚡#mystery 👉subscribe Interesting Planet
Hashtags
@interesting_planet_facts · Post #1236 · 19.01.2026 г., 12:11
🌎 Mysterious dark matter makes up about 27% of the universe, but it does not emit or absorb light, making it invisible. Scientists detect dark matter only through its gravitational effects on galaxies and galaxy clusters. The leading candidates for dark matter particles are called WIMPs—Weakly Interacting Massive Particles. ✨ #space⚡#universe⚡#astrophysics 👉subscribe Interesting Planet 👉more Channels
Hashtags
@interesting_planet_facts · Post #1122 · 12.12.2025 г., 12:11
🌎 Gamma-ray bursts are the most energetic explosions in the universe, releasing in seconds as much energy as the Sun emits over its entire 10-billion-year lifespan. They are detected by satellites as brief flashes of gamma radiation, and are thought to result from collapsing massive stars or merging neutron stars. ✨ #space⚡#gamma⚡#astrophysics 👉subscribe Interesting Planet 👉more Channels
Hashtags
@cosmomyst · Post #292 · 18.09.2025 г., 16:11
🪐 In the spiral galaxy NGC 4993, scientists observed a gamma-ray burst, GRB 170817A, that arrived just 1.7 seconds after gravitational waves from the merger of two neutron stars—ultra-dense stellar remnants. This remarkable event marked the first time both gravitational waves and a gamma-ray burst were detected from the same source, giving astronomers an unprecedented, multi-messenger view of a cosmic collision. ✨ #gamma⚡#astrophysics⚡#neutronstars⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries
@cosmomyst · Post #563 · 17.12.2025 г., 12:21
🪐 In 2022, the Event Horizon Telescope captured the first radio image of the supermassive black hole at the center of our galaxy, Sagittarius A*, revealing a glowing ring of hot gas swirling around the event horizon—the point beyond which nothing can escape. This image confirmed decades of theory about black holes and showed that matter falling in forms a bright, lopsided halo just outside the black hole’s shadow, unlocking new clues about how these cosmic giants really behave. ✨ #blackholes⚡#SagittariusA⚡#astrophysics⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries 👉more Channels
@cosmomyst · Post #485 · 08.11.2025 г., 12:21
🪐 The star HE 0107-5240, found in the constellation Phoenix, is one of the most metal-poor stars ever discovered, meaning it contains almost no elements heavier than hydrogen and helium. This rare "primordial" star likely formed from the material left over after the very first stars died, making it an ancient relic that helps scientists study the universe's earliest generations of stars. ✨ #unusualstars⚡#primordialstars⚡#astrophysics⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries 👉more Channels
@cosmomyst · Post #606 · 06.01.2026 г., 22:21
🪐 The spiral galaxy Messier 83 has hosted more recorded gamma-ray bursts than almost any spiral galaxy nearby, becoming a hotspot for these mysterious explosions. Gamma-ray bursts are split-second flashes of the universe’s most energetic light, and their frequent appearance in Messier 83 helps scientists study how massive stars can end their lives in extreme, spectacular fashion. ✨ #Messier83⚡#gamma⚡#astrophysics⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries 👉more Channels
@cosmomyst · Post #331 · 26.09.2025 г., 12:21
🪐 The pulsar PSR J0437−4715, located about 500 light-years away in the constellation Pictor, spins nearly 174 times per second and is famous for its near-perfect "cosmic clock" precision. This ultra-stable pulsar allows astronomers to test the fundamental laws of physics and even hunt for elusive gravitational waves by tracking the tiny variations in its radio pulses over many years. ✨ #pulsars⚡#Pictor⚡#astrophysics⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries 👉more Channels
@informavore_log · Post #4151 · 01.10.2024 г., 12:15
What If The Universe DID NOT Start With The Big Bang? @PBS Space Time 👉 Head to https://brilliant.org/spacetime/ for a 30-day free trial + 20% off your annual subscription #YouTube#liked#Black_Holes#Black_Hole#Black_Hole_Physics#Space#Outer_Space#Physics#Astrophysics#Quantum_Mechanics#Space_Physics#PBS#Space_Time#Time#PBS_Space_Time#Matt_O_Dowd#Einstein#Einsteinian_Physics#General_Relativity#Special_Relativity#Dark_Energy#Dark_Matter#The_Universe#Math#Science_Fiction#Calculus#Maths#Holographic_Universe#Holographic_Principle#Rare_Earth#Anthropic_Principle#Weak_Anthropic_Principle#Strong_Anthropic_Principle
Hashtags