Funk2: Causal Reflective Programming Funk2: kausale Reflexive Programmierung

Funk2 currently compiles on 32-bit and 64-bit Linux operating systems. Funk2 erstellt derzeit auf 32-Bit-und 64-Bit-Linux-Betriebssystemen. 64-bit pointers are recommended because of the amount of memory needed for the reflective capabilities; a 32-bit machine is currently only able to index a few gigabytes of memory. 64-Bit-Zeiger werden empfohlen, wegen der Größe des Speichers, die für die reflektierende Fähigkeiten, ein 32-Bit-Maschine ist derzeit nur in der Lage, Inhalt von einigen Gigabyte Speicher.

The goal of the programming language Funk2 is to enable reflective algorithmic tracing for large heterogenous control systems. Das Ziel der Programmiersprache Funk2 ist es, reflektierende algorithmischen Rückverfolgung zu großen heterogenen Steuerungssystemen. A few point emphasized in the Funk2 programming language are: Ein paar Punkt betonte in der Funk2 Programmiersprache sind:

Examples of the most basic computational features include: (1) memory creation , (2) memory read , and (3) memory write . Beispiele für die elementarsten Computational Features zählen: (1) Speicher-Erstellung, (2) Speicher gelesen, und (3) Speicher schreiben. Tracing all causal relationships between these basic features allows tracing the context of all other programmer-defined semantic abstractions . Tracing alle kausalen Beziehungen zwischen diesen grundlegenden Funktionen ermöglicht Rückverfolgung Zusammenhang mit allen anderen Programmierer definierten semantischen Abstraktionen. All of these computational features create an intricate trace network of dependencies, automatically traceable and shared by many parallel threads of execution. Alle diese Funktionen Computational schaffen ein kompliziertes Netz von Trace-Abhängigkeiten automatisch nachvollziehbar und von vielen parallelen Threads der Ausführung. Funk2 allows causal tracing to occur modularly to dynamically chosen parts of large commonsense-scale artificial intelligence projects. Funk2 ermöglicht kausale Rückverfolgung auftreten modular zu dynamisch gewählt Teile von großen allgemein-Skala künstliche Intelligenz Projekte. The resulting causal dependency trace networks can be processed by critical causal reflection threads. Die sich daraus ergebenden kausalen Abhängigkeit Trace-Netze bearbeitet werden kann, durch kritische Reflexion kausalen Threads.

Here is how to retrieve the creation Cause for any piece of memory ( [] , the value of the symbol nil , is the only thing that does not reference a piece of memory): Hier ist, wie um die Schaffung Ursache für jegliche Art von Speicher ([], wird der Wert des Symbols Null, ist das Einzige, was das bezieht sich nicht auf ein Stück Erinnerung):

Note that in the Cause object there are multiple named slots holding information in the frame of the cause. Beachten Sie, dass die Ursache im Objekt gibt es mehrere benannte Slots Betrieb Informationen im Rahmen der Ursache. The frames of a Cause are thread , env , name , and args . Die Rahmen einer Sache sind Fäden, env, den Namen und args. By default only 7 levels of recursion are printed to the screen. Standardmäßig nur 7 Ebenen der Rekursion sind gedruckt auf dem Bildschirm. The symbol used for ending a recursion is the astrisk, * .In order to access the slots of an object, you can use funktions that are named to access and mutate objects. Das Symbol für die Beendigung eines Rekursion ist das Sternchen, *. Um den Zugriff auf die Slots eines Objekts, können Sie mit Funktionen, die den Namen für den Zugriff auf und mutieren Objekte. For example, the following example shows how to retrieve only the name and args slots of a cause object. Zum Beispiel ist das folgende Beispiel zeigt, wie zum Abrufen nur den Namen und die args Slots eines Objekts verursachen.

Here is an example of how to remember the state of an object at specific historical points in time: Hier ist ein Beispiel dafür, wie zu erinnern, den Zustand eines Objekts in spezifischen historischen Punkten in der Zeit:

Here is another example of how to remember the state of an object at specific historical points in time: Hier ist ein weiteres Beispiel dafür, wie man daran erinnern, den Zustand eines Objekts in spezifischen historischen Punkten in der Zeit:

Here is one straightforward way to write a "Hello world!" Hier ist eine einfache Art und Weise zu schreiben, ein "hallo welt!" program in the Funk2 language: Programm in der Funk2 Sprache:

Here is another more advanced way to holla your planet: Hier ist ein weiteres weiter fortgeschritten Weg zu Ihrem Planeten holla:

Here is how to define and subsequently call a funktion: Gehen Sie dabei wie folgt zu definieren und anschließend rufen Sie eine Funktion:

Here is how to loop over a list of values: Hier ist, wie man Schleife über eine Liste von Werten:

Here is how to call our funktion above in a parallel thread: Hier ist zu nennen, wie unsere Funktion oben in einem parallelen Thread:

Here is how to serially filter every element in a list: Hier ist, wie man Filter seriell jedes Element in einer Liste:

Here is how to concurrently filter every element in a list: Hier ist, wie man gleichzeitig Filter jedes Element in einer Liste:

The scheduler:global_scheduler variable in the global environment can be used as a reference to the global funk2 scheduler for the local machine. Der Scheduler: global_scheduler Variable im globalen Umfeld kann als Referenz auf das globale funk2 Scheduler für die lokale Maschine. Processor information available from "/dev/proc" during funk2 initial bootstrap compile is available for all machines currently logged into the grid. Prozessor zur Verfügung stehenden Informationen von "/ dev / proc" funk2 während der ersten Bootstrap kompilieren ist für alle aktuell angemeldeten Maschinen in das Netz eingespeist. Grid support is in development, this only shows this information for the local machine. Grid-Unterstützung ist in der Entwicklung, dies zeigt nur, diese Informationen für die lokale Maschine. Once support for multiple machines is available, this variable will change into a funktion that takes a machine-id as an argument and returns that machine's scheduler object. Sobald Unterstützung für mehrere Maschinen verfügbar ist, wird diese Variable ändern, in eine Funktion, die ein Rechner-ID als Argument und liefert das Gerät's Scheduler-Objekt.