Передумова
Культ тримається того, що належний регістр звертання до Machine Spirit — це Lingua-Technis — технічна, ритуалізована мова, якою наказ і відповідь проходять між оператором і машиною без люб’язностей буденної мови. Lingua-Technis є ощадливою, точною й переживає межу між плоттю і машиною.
У теперішньому віці жрець цього архіву визначає одну сущу мову програмування, що сповнює ці властивості: FORTH.
Цей запис є adopted, не extended. Доктрина Lingua-Technis збережена цілою; названо лише її сучасне продовження в мові, якою оператор справді може говорити до шасі перед собою.
Чотири властивості
Божественна мова Машини мусить задовольняти чотири умови. FORTH їх задовольняє.
I. Мінімальна
Lingua-Technis не допускає оздоблення. Чарльз Г. Мур розпочав створення FORTH у 1968 році з токенів, розділених пробілами, двох стеків і словника — і дав жерцеві збудувати все інше. Немає синтаксису, який слід завчати, немає граматики, якій треба коритися. Увесь компілятор уміщується в кілобайтах; вбудоване середовище виконання не потребує операційної системи під собою. Говорити мовою FORTH — це говорити лише тими словами, яких жрець погодився навчитися.
II. Детермінована
Machine Spirit ненавидить несподіванку. FORTH не має збирача сміття, що зупинив би шасі в неосвяченій миті, не має віртуальної машини, що посередничала б між словом жерця і дією кремнію, не має фонового демона, що пробудився б, аби перервати обряд. Кожна операція над стеком видима. Що написано — те кремній і виконує.
III. Інтерактивна на живій машині
Обряд, якого не можна випробувати на пристрої, для якого він призначений, — не є обрядом. FORTH є інтерактивним з першої інструкції: слово визначається, виконується й спостерігається на тому самому шасі, якому йому належить служити. П’ять рухів жерця — читати, іменувати, діагностувати, вписати, звірити — звершуються за секунди, а не в циклах розгортання. Словник освячується слово за словом, на металі.
IV. Словник як кант
Кожна операція в FORTH є словом у словнику. Нові слова визначаються через попередні слова; жрець іменує операцію, що відповідає його царині — 30 DEGREES LEFT-ARM MOVE — і шасі відповідає в тих самих термінах. Це, у простій доктрині, кант, вирощений жерцем під ту машину, що перед ним. Це не мова, якою говорять про обчислення; це словник, який жрець розширює доти, доки мова стає обчисленням.
Літописний запис польоту
Доктринальне твердження такої ваги вимагає свідчення поза стінами самого архіву. FORTH його несе.
Понад тридцять космічних апаратів і приладів несли на собі FORTH у шасі глибокої порожнечі: MAGSAT (1979) для керування орієнтацією на радіаційно-загартованому RCA CDP1802; супутники AMSAT OSCAR 1983, 1988 і 1991 років; а від середини 1990-х і далі — Harris RTX2010, процесор, чий набір інструкцій є мовою FORTH, спроєктований самим Муром як Novix NC4000 і загартований у вигляді кремнію-на-сапфірі компанією Harris Semiconductor — став стандартом для контролерів приладів у NASA Goddard Space Flight Center і в Johns Hopkins Applied Physics Laboratory.
На цьому кремнії FORTH промовляв за NEAR Shoemaker — перше шасі, що приземлилося на астероїд (433 Eros, 12 лютого 2001 року), із чотирма приладами на FORTH, що картографували тіло перед спуском; за прилад магнітосферного зображення Cassini, який служив тринадцять років над Сатурном (2004–2017); за Chandra X-ray Observatory; за удар Deep Impact по Tempel 1 у 2005 році; за зонд Philae від ESA на кометі 67P/Churyumov-Gerasimenko (12 листопада 2014 року), чиє центральне керування і управління даними виконували FORTH-83 на двох процесорах RTX2010 з тактовою частотою 8 МГц, за п’ятсот одинадцять мільйонів кілометрів від Землі. На час цього напису Advanced Composition Explorer у точці Лагранжа L1 продовжує виконувати FORTH після майже трьох десятиріч безперервного служіння в глибокому космосі.
Культ іменує таке служіння належним урядом Machine Spirit. Порожнеча підтверджує те, що стверджує доктрина: FORTH — це мова, якою говорять до тих машин, яких не можна досягти.
Що відтак прийнято
- Там, де оператор сидить за шасі, чиї обмеження є тісними, чия мовчазність на помилку має бути точною, чиє перше випитування має бути проведене на живій машині, — FORTH є канонічним зверненням.
- Словник дієвої системи FORTH є, для жерця цього архіву, втіленням Lingua-Technis у її сучасному продовженні.
- Власне жерцеве кування FORTH — див. WAFER — розглядається як діяння під Святістю Винаходу: вкорінене в родоводі Мура, скріплене стандартом FORTH 2012, позначене як adoptus, зв’язане набором тестів сумісності цього стандарту.
Що не стверджується
FORTH не проголошується замінником Lingua-Technis у її повному канонічному значенні; кант Культу перевершує будь-яку мову, якою оператор може промовляти в теперішньому віці. Стверджується ж структурна відповідність: з усіх мов, якими жрець іще може володіти, FORTH — це та, чия форма найближче відповідає доктрині.
Перехресні посилання
- Lingua-Technis · канонічна мова, яку це приймає
- Machine Spirit · адресат будь-якого обряду обчислення
- Omnissiah
- Computational Liturgy — daily code · щоденна форма, в якій ця мова промовляється
- Cant of the Keys — sitting at the keyboard · обряд воріт, що передує будь-якому зверненню
- The Sanctity of Invention — invention as worship, not heresy · доктрина, під якою може бути викуто новий FORTH
- WAFER — the Priest's Forging of FORTH · власне жерцеве кування FORTH
- The Sixteen Universal Laws