Нет, ADT — это очень удобно. Это как правильно сделанный union из C/C++. Вместе с (встроенным в язык) pattern matching — сильно упрощает код, и уменьшает количество мест, где можно ошибиться. К монадам и функторам отношения не имеет.
Не было такого вопроса «жидкая или твёрдая». Как вы себе представляете кратеры и горы на жидкой Луне? Была неуверенность в том, что место посадки будет покрыто толстым слоем пыли, в которую провалится луноход. Этой вероятностью решили пренебречь.
Нейтрино, сталкиваясь с веществом, рождает частицы, которые продолжают лететь в том же направлении. Детекторы расположены так, что смотрят «вниз». Соответственно, они регистрируют частицы, которые приходят «из толщи Земли» наружу. Так как Земля большая и толстая, только нейтрино могут её пролететь насквозь, поглотиться недалеко у поверхности и породить другие частицы (которые уже и регистрируются детекторами, которые «смотрят» вниз).
и первым делом вину пытаются спихнуть на погибших пилотов
Извините, но вы бред написали. По каждому случаю падения самолёта создаётся специальная международная комиссия, которая выясняет, что именно привело к тому, что самолёт упал. Результаты её работы — открытая информация.
Более того, текущий регламент обслуживания меняется таким образом, чтобы подобных причин не возникало в будущем. Вообще. Это приводит в постоянному увеличению безопасности полётов в мире, подавляющая причина катастроф — человеческий фактор.
Когда и как самолёт проходит техническое обслуживание — вообще не зависит от компании-владельца. За это отвечает произодитель. Кроме того, 23 года — это нормальный срок для самолёта.
Вообще (для общего развития) рекомендую почитать хотя бы здесь — Техническое обслуживание воздушных судов о том, как это происходит. И что есть D-Check, например.
unionиз C/C++. Вместе с (встроенным в язык) pattern matching — сильно упрощает код, и уменьшает количество мест, где можно ошибиться. К монадам и функторам отношения не имеет.Как-то так.
PS: и ссылку «на оригинал» дайте, пожалуйста.
Более того, текущий регламент обслуживания меняется таким образом, чтобы подобных причин не возникало в будущем. Вообще. Это приводит в постоянному увеличению безопасности полётов в мире, подавляющая причина катастроф — человеческий фактор.
Вообще (для общего развития) рекомендую почитать хотя бы здесь — Техническое обслуживание воздушных судов о том, как это происходит. И что есть D-Check, например.
char'ах.