July 7th, 2018

Dr.Strangelove

О разрешимости:

На сам деле все неразрешимые задачи превращаются в разрешимые добавлением варианта "не смогла/ни знайу" (да хоть по таймеру). С точки зрения практической достаточно сделать так чтобы этот вариант не выскакивал в реальных ситуациях слишком часто и иметь какой-то план действий на случай "если все-таки выскочит".

Причем на сам деле и "разрешимые" задачи в этом патче часто нуждаются - я например знаю способ который пока 100% работает заставить тайпчекер жабскиого компилятора "уйти в себя" (проверено на всех известных) - при том что задача алгоритмически разрешима (это даже доказали). И что самое смешное - я знаю как сделать так чтобы он в этой и подобной ей ситуациях в себя не уходил (задача вообще-то не экспоненциальная - что опять же доказано) - но это никому не нужно

PS: На деле реальная проблема с этим лайфхаком не в "неразрешимости", а в том что система утрачивает определенность - что такое "корректная программа на Haskell" становится зависимым от реализации компилятора - ну в плане "сможет - не сможет", но опять же - не такая уж бешеная проблема. Жить с этим можно.

В цепепе в темплейтах и не такое гуляет (вообще если вы в формализм втаскиваете какую-то подстановочную семантику вы с вероятностью близкой к 100% получаете в комплекте алгоритмическую полноту со всем к ней прилагающимся) - и спокойно живут. Всяко не главная проблема
Gen.Turgidson

К тому эпизоду из фильма Митты

Там есть еще важный контекст - полететь то они полетели. Но есть и то к чему прилетели - а волшебник конкретно прилетел там к своей смерти (и то что "его дело" перенимает откровенный говнюк, причем так и обозначенный - братец главгероини тоже-ж)

При том, что как я уже сказал, фильм мне кажется "идейно неправильным", Митта там поигрался (легко и непринужденно) с таким пластом архетипов, что аж удивительно.

Ну и Шнитке конечно.
Gen.Turgidson

Так - из комментов

Сабатини почему-то все ценят за пошлейшего капитана Блада - а куда как более кайфные рассказки из жизни Чезаре Корво про "под знаменем Быка" не читали.