Funk2: Causal Reflective Programming Funk2: nesso di causalità riflettente di programmazione

Funk2 currently compiles on 32-bit and 64-bit Linux operating systems. Funk2 attualmente compila a 32-bit e 64-bit dei sistemi operativi Linux. 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. Puntatori a 64 bit sono raccomandate a causa della quantità di memoria necessaria per la capacità riflessiva, una a 32 bit macchina è attualmente solo in grado di indicizzare alcuni gigabyte di memoria.

The goal of the programming language Funk2 is to enable reflective algorithmic tracing for large heterogenous control systems. L'obiettivo del linguaggio di programmazione Funk2 è quello di consentire il rintracciamento algoritmica riflettenti per i grandi sistemi di controllo eterogenei. A few point emphasized in the Funk2 programming language are: Qualche punto sottolineato nel Funk2 linguaggio di programmazione sono:

Examples of the most basic computational features include: (1) memory creation , (2) memory read , and (3) memory write . Esempi dei più elementari computazionale caratteristiche includono: (1) creazione di memoria, (2) di memoria leggere, e (3) di memoria scrivere. Tracing all causal relationships between these basic features allows tracing the context of all other programmer-defined semantic abstractions . Rintracciare tutti i rapporti di causalità tra queste caratteristiche di base permette di rintracciare il contesto di tutti gli altri programmatori definiti semantico astrazioni. All of these computational features create an intricate trace network of dependencies, automatically traceable and shared by many parallel threads of execution. Tutte queste caratteristiche computazionali creare un intricato traccia rete di dipendenze, automaticamente rintracciabile e condiviso da molti fili paralleli di esecuzione. Funk2 allows causal tracing to occur modularly to dynamically chosen parts of large commonsense-scale artificial intelligence projects. Funk2 consente di rintracciare nesso di causalità che si verifichi in modo dinamico modulare scelto parti di grandi dimensioni CommonSense intelligenza artificiale progetti. The resulting causal dependency trace networks can be processed by critical causal reflection threads. La conseguente dipendenza causale traccia reti possono essere trattati da nesso di causalità riflessione critica thread.

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): Ecco come recuperare la creazione Causa per qualsiasi pezzo di memoria ([], il valore di simbolo pari a zero, è l'unica cosa che non fa riferimento a un pezzo di memoria):

Note that in the Cause object there are multiple named slots holding information in the frame of the cause. Si noti che per la causa oggetto ci sono più slot di nome azienda informazioni nel quadro della causa. The frames of a Cause are thread , env , name , and args . Le cornici di una causa sono thread, env, nome, e args. By default only 7 levels of recursion are printed to the screen. Per impostazione predefinita, solo il 7 livelli di ricorsione sono stampati a schermo. 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. Il simbolo utilizzato per terminare una ricorsione è l'asterisco, *. Al fine di accedere a le bande orarie di un oggetto, è possibile utilizzare funktions che sono chiamati a mutare di accesso e di oggetti. For example, the following example shows how to retrieve only the name and args slots of a cause object. Ad esempio, il seguente esempio mostra come recuperare solo il nome e l'args slot causa di un oggetto.

Here is an example of how to remember the state of an object at specific historical points in time: Ecco un esempio di come a ricordare lo stato di un oggetto a specifici punti storici nel tempo:

Here is another example of how to remember the state of an object at specific historical points in time: Qui è un altro esempio di come a ricordare lo stato di un oggetto a specifici punti storici nel tempo:

Here is one straightforward way to write a "Hello world!" Qui è una semplice modo per scrivere un "Ciao, mondo!" program in the Funk2 language: programma nel Funk2 lingua:

Here is another more advanced way to holla your planet: Qui è un altro modo più avanzate a Holla il tuo pianeta:

Here is how to define and subsequently call a funktion: Ecco come definire e successivamente chiamare un funktion:

Here is how to loop over a list of values: Ecco come loop più di una lista di valori:

Here is how to call our funktion above in a parallel thread: Ecco come il nostro funktion di cui sopra, in un parallelo thread: Re:

Here is how to serially filter every element in a list: Ecco come filtro di serie ogni elemento in un elenco:

Here is how to concurrently filter every element in a list: Ecco come filtro in concomitanza ogni elemento in un elenco:

The scheduler:global_scheduler variable in the global environment can be used as a reference to the global funk2 scheduler for the local machine. Lo scheduler: global_scheduler variabile in ambiente globale può essere usato come un riferimento a livello mondiale funk2 programmatore per la macchina locale. Processor information available from "/dev/proc" during funk2 initial bootstrap compile is available for all machines currently logged into the grid. Processore informazioni disponibili da "/ dev / proc" "durante funk2 iniziale di bootstrap compilare è disponibile per tutte le macchine attualmente connesso in rete. Grid support is in development, this only shows this information for the local machine. Rete di sostegno è in fase di sviluppo, questo mostra solo queste informazioni per la macchina locale. 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. Una volta che il supporto per più macchine sono disponibili, questa variabile cambierà in un funktion che prende una macchina-id come un argomento e restituisce che la macchina oggetto scheduler.