Type erasure

Published by @squadette on 2018-04-12

Вот есть оператор if, и есть присваивание переменной, и больше ничего нет, даже вызов функции не является какой-то реальностью. Вообще, смысл мира непонятен, потому что в процессе God Erasure остался только субстрат творения.

Это как ебучий принц амбера, к которому не липнет реальность, потому что она к нему не относится:

вот он проезжает сквозь деревню, в которой живут кузнец, баба кузнеца (Матрёна Степановна Монадова-Мэйби) и дети кузнеца и они нужны только для того, смысл их существования только в том, чтобы на них сработала type erasure, потому что в конце остается только манипуляция ебучими битиками, в которой угадать изначальный замысел автора — невозможно, потому что его (то ли замысел, то ли автора) унесла с собой птица type erasure.

Кузнец, другими словами, нужен для того, чтобы мимо него прошел герой.

Странно также вот что фамилии у людей — ну вот например есть фамилия “Кузнецова”, но нет фамилии “Героева”, потому что это не тот уровень абстракции, на котором люди идентифицируются: это все равно что называть Владимира Ильича Ульянова — Денежным, потому что он неотъемлемый атрибут рубля.

Interlude: Винни, что ты делаешь? Это не мёд, ты ешь type erasure.

Вот эти вот if и вот это присваивание — они обеспечивают тот нижний квантовый барьер, который отличает реальность от физического вакуума.

Мозг представляет собой результат компиляции сознания, а сознание — это та самая type erasure, которая уходит, оставляя за собой скомпилированный мозг.

Вообще в каком-то смысле программа (бинарник) — это труп, овощ некоторой идеи, которая ушла и оставила за собой только подключенный к системе жизнеобеспечения бинарный труп.

Бинарник — это дымящиеся руины деревни, в которой жил кузнец. Руины можно построить разными способами — можно просто топать по ним ногами в кованых сапогах, а можно строить огромных прекрасных птиц, которые будут уничтожать и растаптывать те же самые угли, и если не знать о том, какой красоты птица танцевала над этими руинами — ты никогда не догадаешься, что унесла с собой type erasure.

То есть это будут либо нолики и единички, вытатуированные на глиальной ткани, либо сознание, которое обеспечивает type erasure над нейросубстратом, которое думает о функторах, которые инстанциируют type erasure над потоком битов.

Идеальный арт-проект в складывающемся фреймворке — это труп, лежащий рядом с записанным на дискету бинарником.