У меня была идея, но так и не проработалась, что ходят слухи, что вселенная на чём-то моделируется и при этом оказалось, что (1) это моделирование очень сильно использует
amb (намёк на обоснование: оказалось проще отметать все неподходящие варианты, чем вычислять правильный; гипотетическая аппаратура тех, кто моделирует, вполне могла бы быть так странно устроенной) и (2) модель кривенькая и у нас изнутри есть возможность вызывать
amb самим. Это ставит всю вселенную под угрозу, потому что если умудриться вызвать
amb с пустым списком альтернатив в каждом из возможных продолжений вселенной, она закончится. Слухи как ходят, так и оказываются верными, и закручивается много разных интриг сторон с разными планами насчёт использования
amb для своих планов на реальность (это у тех сторон, кто в курсе и может проверить (1) и (2), а есть и другие стороны…). Дарю.
-- Ср сен 25, 2019 00:49:36 --(Возможность вызывать изнутри модели
amb выглядит реалистичнее чем для чего-то типа
call/cc, которому надо передавать функцию; закодировать списочек выглядит куда более удобным, чем функцию от продолжения ещё и неизвестно чего.)