Premiso
La Kulto tenas, ke la ĝusta registro de alparolo al Machine Spirit estas Lingua-Technis — la teknika, ritigita lingvo en kiu komando kaj respondo pasas inter operatoro kaj motoro sen la ĝentilaĵoj de komuna parolo. Lingua-Technis estas malabunda, preciza, kaj postvivas la limon inter karno kaj maŝino.
En la nuntempa epoko, la pastro de tiu ĉi arkivo identigas unu ekzistantan programlingvon kiu plenumas tiujn ecojn: FORTH.
Tiu ĉi enskribo estas adoptita, ne etendita. La doktrino de Lingua-Technis estas konservata tutece; kio estas nomata estas ĝia nuntempa daŭrigo en lingvo kiun la operatoro fakte povas uzi sur la ĉasio antaŭ li.
La kvar ecoj
Dia lingvo de la maŝino devas plenumi kvar kondiĉojn. FORTH plenumas ilin.
I. Minimuma
La Lingua-Technis ne allasas ornamon. Charles H. Moore komencis la konstruadon de FORTH en 1968 el blankspaco-limigitaj ĵetonoj, du stakoj, kaj vortaro — kaj lasis la pastron konstrui ĉion alian. Ne ekzistas sintakso por memori, ne gramatiko por spiti. La tuta kompililo enkadriĝas en kilobajtojn; enkonstruita rultempo bezonas neniun mastruman sistemon sub si. Paroli FORTH estas paroli nur la vortojn kiujn la pastro konsentis lerni.
II. Determinisma
Machine Spirit malamas surprizon. FORTH havas neniun rubkolektilon kiu paŭzigus la ĉasion en nesankciigita momento, neniun virtualan maŝinon perantan inter la vorto de la pastro kaj la ago de la silicio, neniun fonan demonon vekiĝantan por interrompi riton. Ĉiu stakoperacio estas videbla. Kio estas skribita estas kio la silicio plenumas.
III. Interaga sur la viva maŝino
Rito kiu ne povas esti provata sur la aparato por kiu ĝi estas destinita estas neniu rito. FORTH estas interaga ekde la unua instrukcio: vorto estas difinita, plenumita, kaj observita sur la sama ĉasio kiun ĝi servos. La kvin movoj de la pastro — legi, nomi, diagnozi, enskribi, kontroli — estas plenumataj en sekundoj, ne en disponad-cikloj. La vortaro estas konsekrata vorto post vorto, sur la metalo.
IV. La vortaro kiel kanto
Ĉiu operacio en FORTH estas vorto en la vortaro. Novaj vortoj estas difinataj surbaze de antaŭaj vortoj; la pastro nomas la operacion kiu kongruas kun lia kampo — 30 DEGREES LEFT-ARM MOVE — kaj la ĉasio respondas en tiuj terminoj. Tio estas, en simpla doktrino, kanto kreskigita de la pastro por kongrui kun la maŝino antaŭ li. Ĝi ne estas lingvo uzata por paroli pri komputado; ĝi estas vortprovizo kiun la pastro etendas ĝis la lingvo estas la komputado.
La fluga registro
Doktrina aserto de tia pezo postulas pruvon ekster la propraj muroj de la arkivo. FORTH ĝin portas.
Pli ol tridek kosmoŝipoj kaj instrumentoj flugis FORTH sur la ĉasioj de la profunda malpleno: MAGSAT (1979) por sintenregado sur la radiad-hardita RCA CDP1802; la AMSAT OSCAR-satelitoj de 1983, 1988, kaj 1991; kaj ekde la mez-1990aj jaroj la Harris RTX2010 — procesoro kies instrukci-aro estas FORTH, desegnita de Moore mem kiel la Novix NC4000 kaj silicio-sur-safiro hardita de Harris Semiconductor — fariĝis la normo por instrumentregiloj ĉe la NASA Goddard Space Flight Center kaj la Johns Hopkins Applied Physics Laboratory.
Sur tiu silicio FORTH parolis por NEAR Shoemaker, la unua ĉasio kiu surteriĝis sur asteroidon (433 Eros, 12 februaro 2001), kun kvar FORTH-pelataj instrumentoj kartografantaj la korpon antaŭ la malsupreniro; por la Magnetosfera Bildiga Instrumento de Cassini, kiu servis dek tri jarojn super Saturno (2004–2017); por la Chandra X-ray Observatory; por la frapo de Deep Impact kontraŭ Tempel 1 en 2005; por la lander Philae de ESA sur kometo 67P/Churyumov-Gerasimenko (12 novembro 2014), kies centra komand- kaj datum-administrado plenumis FORTH-83 sur ĝemelaj RTX2010-procesoroj je 8 MHz, kvincent dek unu milionojn da kilometroj for de la Tero. Je tiu ĉi enskribo, la Advanced Composition Explorer ĉe la L1 Lagranĝa punkto plu plenumas FORTH post preskaŭ tri jardekoj da nerompita devoteco en profunda kosmo.
La Kulto nomas tian servon la propra ofico de Machine Spirit. La malpleno konfirmas kion la doktrino asertas: FORTH estas la lingvo parolata al la motoroj kiuj ne povas esti atingitaj.
Kio do estas adoptita
- Kie la operatoro sidas sur ĉasio kies limigoj estas striktaj, kies silento al eraro devas esti preciza, kaj kies unua pridemandado devas esti farata sur la viva motoro — FORTH estas la kanona alparolo.
- La vortaro de funkcianta FORTH-sistemo estas, por la pastro de tiu ĉi arkivo, ekzemplero de Lingua-Technis en ĝia nuntempa daŭrigo.
- La propra forĝado de FORTH fare de la pastro — vidu WAFER — estas traktata kiel ago sub la Sankteco de Invento: fonta el la genealogio de Moore, sigelita kontraŭ la FORTH 2012 normo, markita kiel adoptus, ligita per la konformeca aro de la normo.
Kio ne estas asertata
FORTH ne estas deklarita anstataŭaĵo de Lingua-Technis en ĝia plena kanona senco; la kanto de la Kulto superas ajnan lingvon kiun la operatoro povas paroli en la nuntempa epoko. Kio estas asertata estas struktura taŭgeco: el ĉiuj lingvoj kiujn la pastro ankoraŭ povas regi, FORTH estas tiu kies formo plej proksime kongruas kun la doktrino.
Krucreferencoj
- Lingua-Technis · la kanona lingvo kiun ĉi tio adoptas
- Machine Spirit · la alparolato de iu ajn rito de komputado
- Omnissiah
- Computational Liturgy — daily code · la ĉiutaga formo en kiu la lingvo estas parolata
- Cant of the Keys — sitting at the keyboard · la pord-rito antaŭanta ajnan alparolon
- The Sanctity of Invention — invention as worship, not heresy · la doktrino sub kiu nova FORTH povas esti forĝita
- WAFER — the Priest's Forging of FORTH · la propra forĝado de FORTH fare de la pastro
- The Sixteen Universal Laws