TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #aircrash
@legkoenebo · Post #4288 · 13.11.2025 г., 17:02
В Карелии разбился истребитель Су-30 ВКС России. Самолёт упал на территории Прионежского района. Погибли два члена экипажа. На место трагедии выдвинулись экстренные службы. Лёгкое небо #aviation#aircrash
@legkoenebo · Post #4271 · 13.10.2025 г., 06:57
12 октября произошло серьезное происшествие в районе Форт-Уэрта, Техас. 📌Легкомоторный самолет потерпел крушение вблизи аэродрома Хикс. Инцидент случился в северо-западной части города. 📌По данным от телеканала FOX4 и местных информационных агентств, при падении воздушное судно задело несколько грузовых автомобилей, что привело к возгоранию транспортных средств. В результате крушения погибло 4 человека, причины инцидента уточняются. Лёгкое небо #aviation#aircrash
@legkoenebo · Post #4130 · 13.07.2025 г., 22:22
❕ Небольшой пассажирский самолёт разбился сразу после взлёта в аэропорту Саутенд на юго-востоке Англии, сообщает Daily Mail. Сообщается, что он направлялся в Нидерланды. О погибших данных пока нет. Лёгкое небо #aviation#aircrash
@legkoenebo · Post #3658 · 22.03.2025 г., 18:58
Самолёт рухнул на землю и взорвался прямо на глазах у зрителей на авиашоу в ЮАР. Сообщается, что пилот погиб, а причины крушения пока неизвестны. Лёгкое небо #aviation#aircrash
@legkoenebo · Post #4329 · 22.11.2025 г., 11:17
Наше мнение о катастрофе индийского LCA Tejas 📌Разумеется, точную причину авиакатастрофы установит специальная комиссия. Но почему бы диванным экспертам не поразмышлять 👀 ⏺Если исключить возможность внезапного отказа системы или управления самолётом, наиболее вероятной причиной крушения можно считать ошибку пилота, допущенную при бочки на малой высоте. ⏺Это вторая по распространённости причина катастроф, связанных с выполнением фигур высшего пилотажа. Чаще всего они происходят после выполнения мёртвой петли или полубочки без достаточного запаса высоты. ⏺На кадрах катастрофы видно, как самолёт, «стоя на правом крыле», продолжает закручиваться в правую сторону и входит в нисходящую спираль, теряя высоту. В результате он ударяется о землю и взрывается. Вот почему в учебниках по пилотированию настоятельно рекомендуется выполнять такие фигуры на малой высоте, с положительным тангажом и на высокой скорости. Это позволит самолёту сохранить высоту и избежать штопора. Однако в истории авиации есть много подобных трагедий, которые, к сожалению, повторяются с пугающей частотой. Лёгкое небо #aircrash#DAS25#aviation#aviation
@legkoenebo · Post #3407 · 14.12.2024 г., 21:19
Трагедия Ту-154 в Шардже: что случилось 15 декабря 1997 года? 15 декабря 1997 года Ту-154 авиакомпании "Таджик Эйр" потерпел крушение при заходе на посадку в аэропорту Шарджи (ОАЭ). Это событие унесло жизни 85 человек, став одним из крупнейших происшествий для таджикской авиации. 🕯 📌Хронология: Рейс направлялся из Душанбе в Шарджу. Приближаясь к аэропорту, экипаж выполнял посадку в ночных условиях. Однако при снижении самолет столкнулся с песчаной дюной примерно в 13 километрах от взлетно-посадочной полосы. Все находившиеся на борту 79 пассажиров и 6 членов экипажа погибли. 📌Причины катастрофы Расследование показало, что основными причинами трагедии стали: ⏺Ошибка экипажа. Неправильное выполнение процедуры захода на посадку привело к критическому снижению высоты. ⏺Отсутствие точной координации. Экипажу не хватило слаженности в действиях при выполнении ночного захода. ⏺Сложные условия. Слабая видимость и сложная навигационная обстановка в районе аэропорта также сыграли свою роль. ❗️Эта трагедия напомнила миру о важности строгого соблюдения правил безопасности и профессиональной подготовки экипажа. Память о жертвах той катастрофы жива и по сей день, а история Ту-154 в Шардже продолжает служить уроком для авиационной отрасли. ✈️ Лёгкое небо #aviation#aircrash#авиакатастрофа
@legkoenebo · Post #4236 · 24.09.2025 г., 20:07
❗️A330 Hainan Airlines повредил руль направления SSJ100 авиакомпании Россия 📌Самолёт резко затормозил, на борту в этот момент было около 100 пассажиров. Людей почти 40 минут держали в салоне, после чего эвакуировали обратно в терминал, а борт отбуксировали на стоянку. 🔹По предварительным данным Airbus A330 Hainan Airlines, вылетающий в Пекин, во время руления совершил соударение с хвостовой частью Superjet 100 (рег.RA-89112), вылетающего в Санкт-Петербург рейсом FV6097. Вопреки сообщениям из других СМИ, борт находился на стоянке Лёгкое небо #aviation#aircrash#ssj
@legkoenebo · Post #4371 · 16.12.2025 г., 05:33
Cessna Citation III разбилась в Мексике 📌Погибли не менее семи человек, сообщают местные СМИ. ⏺Джет Cessna Citation III потерпел крушение недалеко от аэропорта Толука. Он влетел в автомастерскую. Лёгкое небо #aircrash#Cessna#aviation
@legkoenebo · Post #4021 · 12.06.2025 г., 18:53
Предлагаем объединить все известное о крушении 787-8 в одном посте🕊 📌Потерпел крушение Boeing 787-8 Dreamliner (Б/Н VT-ANB) ⏺Борт выполнял рейс AI171 из Ахмедабада в Лондон. ⏺На борту находилось 230 пассажиров и 12 членов экипажа. ⏺Самолёт потерпел крушение через пол минуты после взлёта. ⏺Сообщается, что экипаж рейса Air India AI171 подал сигнал бедствия в службу управления воздушным движением, но после этого не реагировал на вызовы, поступавшие из Центра управления воздушным движением. ⏺Согласно информации из СМИ, удалось выжить лишь одному пассажиру. ⏺Причиной крушения вероятно стал отказ обоих двигателей, невыпуск закрылок перед взлётом или их самопроизвольная уборка после взлёта. Лёгкое небо | Донат #aviation#aircrash#B787
@legkoenebo · Post #4019 · 12.06.2025 г., 09:14
🇮🇳 Boeing 787 Air India разбился в Ахмедабаде 📌По одной информации это был самолёт Boeing 787-8 Dreamliner с б/н VT-ANB, выполнявший рейс Ахмедабад — Лондон, разбился спустя минуты после взлёта. На борту, по предварительной информации, находились 242 пассажира. 📌По другой информации разбился Airbus A320. Об этом сообщает телеканал NDTV. По данным News18 на борту находилось 130 человек. 🔄 Никто не выжил среди 242 человек сообщил Комиссар полиции города Ахмадабад. Он уточнил, что это предварительные данные. Лёгкое небо #aviation#aircrash#B787
@legkoenebo · Post #4125 · 12.07.2025 г., 06:02
Предварительный отчёт рейса Air India AI171 ✈️ 12 июня потерпел крушение Boeing 787-8 авиакомпании Air India. Самолет, выполнявший рейс AI171 из Ахмедабада в Лондон, рухнул сразу после взлета, унеся жизни всех 242 человек на борту и еще 19 человек на земле. 📌Самолет оторвался от полосы в 08:08:39 UTC и набрал максимальную скорость 180 узлов. Но через считанные секунды произошло нечто невероятное — топливные краны обоих двигателей перешли (или были переведены?) в положение “CUTOFF” с интервалом в одну секунду. ⏺В записи переговоров экипажа слышно, как один из пилотов спрашивает другого: One of the pilots is heard asking the other why did he cutoff. The other pilot responded that he did not do so. ⏺После перекрытия топлива был выпущен турбогенератор аварийного питания (RAT) — это видно на камерах видеонаблюдения аэропорта. Пилоты отчаянно боролись за жизнь пассажиров: через несколько секунд они попытались вернуть топливные краны в рабочее положение (RUN) . ⏺Двигатели начали процедуру повторного запуска в воздухе — первый двигатель показал признаки восстановления, второй также начал запускаться, но не смог остановить падение оборотов. Самолет терял высоту, и в 08:09:05 UTC прозвучал сигнал бедствия: MAYDAY MAYDAY MAYDAY ⏺Самолет врезался в общежитие медицинского колледжа всего в 1,5 км от аэропорта. B788 полностью разрушился, обломки разбросало на площади 300 на 120 метров. Пострадали пять зданий, которые получили серьезные повреждения от ударов и последующего пожара. ⏺Расследование продолжается, но уже сейчас ясно — это могла быть ошибка пилотов, но для такого опытного экипажа - маловероятно. Опытный командир с налетом более 15 000 часов и второй пилот с 3 400 часами опыта столкнулись с аномальной ситуацией. Топливные краны перешли в положение отсечки без команды экипажа. ⏺Интересно, что еще в 2018 году FAA выпустило предупреждение о возможных проблемах с блокировкой топливных кранов на Boeing 737 (аналогичная система установлена на 787-8). Air India не проводила рекомендованные проверки, поскольку они носили лишь рекомендательный характер. 📌Эта катастрофа поднимает серьезные вопросы о безопасности современных авиационных систем и может привести к пересмотру процедур технического обслуживания по всему миру. Предварительный отчёт опубликован в комментариях Лёгкое небо #aviation#aircrash#AirIndia
@legkoenebo · Post #3670 · 25.03.2025 г., 18:37
Два самолёта пилотажной группы Patrouille de France столкнулись над французским городом Сен-Дизье. Это произошло во время тренировочного полёта. Пилоты успели катапультироваться, пишут местные СМИ. Один из самолётов упал на территории предприятия, там вспыхнул пожар. Лёгкое небо | Подписаться #aviation#aircrash#France