Over the dark illusions

Грег Иган "Shild's Ladder" (2002). Вот уж сай-фай, так сай-фай. Читая эту книгу, я осознал глубину жопы, в которую Россия упала после 1991 года. Это действительно интересная и оригинальная научная (без шуток) концепция, изложенная в художественной форме. Очень даже возможно, что она - чистая фантазия, игра ума, т.е. реальности не соответствует. Но тем не менее и задумка и исполнение -- на уровне. Это Питер Уоттс, только с точки зрения фундаментальной физики, а не биологии.

Итак время действия первой главы - 221 или 222 век - 20000 лет от нынешнего времени. Мир постлюдей, расселившихся по Млечному Пути. Там написано, что в второй половиен нашего века была построена теория квантовых графов - "набор правил Сарумпаета" - что-то вроде кос и категориальных диаграмм, их связывающих, которая и объясняла в течение 200 веков все частицы и силы. Но в первой главе проводят эксперимент, с целью локального порождения необычного квантового графа на планковском масштабе. Считается, что он должен свербыстро распасться. Но он не распадается. И вот пузырь ново-вакуума начинает расти. Сначала медленно, а потом скорость останавливается на 0.5с.

Действие второй и последующих глав происходит 650 лет спустя. Диаметр пузыря уже достиг 600 световых лет. Прочел уже 70%, но когда дочитаю - скажу свое мнение. Мне очень нравится. Оказывается книга была переведена и издана издательством М.И.Ф. тиражом 20 (двадцать) экземпляров. Теперь видимо раритет. :)
===============================================================================================
В процессе обучения Хаскелю наткнулся на мозговыносящее задание № 2: дистрибутивное развертывание композиций конструкторов сложения и умножения в рекурсивном типе - по образу примерно комплексных чисел, только здесь кроме операторного конструктора-сложения есть и операторный конструктор-умножение с более высоким приоритетом оператора. Пока в затруднении. У меня он развертывает, но ответ считается ошибочным. Видимо, потому что нет ассоциативности (скобки должны прижиматься к лево, к право или отсутствовать - судя по всему так), хотя вычислительно всё верно - есть термы умножения и термы сложения в виде операторных конструкторов - в этом смысле всё верно развернуто: если сложить и умножить (не вручную, а так же рекурсивно), то совпадет с неразвернутым выражением.
===============================================================================================
Интересно, каков срок хранения у ракет Стингер? Их (и клонов) много же понавыпускали с 80х-то.