Jest to aplikacja dla systemu Linux o nazwie xorlisp, której najnowszą wersję można pobrać jako xorlisp_0.1.0_continuationsAlmostWorking_runOnConsole_or_unzipToGetSource.jar. Można go uruchomić online w darmowym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie xorlisp z OnWorks za darmo.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
xorlisp
Ad
OPIS
Jeszcze nie działa. Aby poradzić sobie z problemem zatrzymania, obliczenia i dane są obsługiwane za pomocą operacji debuggera: linearForward i treeForward, które nawigują po astronomicznie dużym ciągu bitów, gdzie 1 to ( a 0 to ). Wszystkie pary pochodzą od (). Na przykład prawda jest reprezentowana jako ((()())()), a fałsz to (()(()())). Wydaje się to być związane z kościelnym kodowaniem lambdy, gdzie T wybiera pierwszy parametr, a F drugi z pary. Kontynuacje są prawie gotowym kodem i są reprezentowane jako para stosu i kolejki. Stos jest połączoną listą par prawdy lub fałszu i obiektu wsuniętego na stos. Kolejka jest również taką połączoną listą, ale jest sparowana odwrotnie, więc poprzedni stan kolejki przechodzi po lewej stronie, a następny obiekt w kolejce po prawej stronie nowej pary, więc kiedy kolejka jest nawigowana w sekwencji tego astronomicznie długiego ciągu bitów (jest to wykładnicza obiektów w sieci acyclicNet), Nav32 (używający linearForward i treeForward do dostępu losowego) najpierw widzi najstarszy obiekt w kolejce
Korzyści
- Jeszcze nie działający system obliczeniowy lub system danych, ale prawie na miejscu
- kontynuacje
- udowodniony brak duplikatów obiektów w acyklicznej sieci par
- tak minimalistyczne, że nie otrzymujesz nazw zmiennych, dopóki nie wyprowadzisz ich z listy bitów do reprezentowania tekstu w standardzie Unicode/UTF8. Nie zakładając, że nazwy zmiennych istnieją, omijamy potrzebę zarządzania zmianą nazwy podczas wywołań lambda.
- specyfikacja bitowa dla całego systemu oparta na lambdzie będącej automatem kolejki, takim jak Rule110 is
- Zaprojektowany z myślą o obliczeniach gridowych i procesorach graficznych, w przyszłych wersjach
Publiczność
Nauka/badania, zaawansowani użytkownicy końcowi, programiści, specjaliści ds. bezpieczeństwa
Interfejs użytkownika
Internetowe, Konsola/Terminal, Wtyczki
Język programowania
Java, Project to język programowania
Kategorie
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/xorlisp/. Jest hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.
