Funk2: Causal Reflective Programming Funk2: programmation de causalité réflexion

Funk2 currently compiles on 32-bit and 64-bit Linux operating systems. Funk2 compile actuellement sur 32 bits et 64 bits systèmes d'exploitation 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. 64-bit pointeurs sont recommandés à cause de la quantité de mémoire nécessaire pour les capacités de réflexion, un 32-bit machine n'est actuellement capable d'indexer quelques giga-octets de mémoire.

The goal of the programming language Funk2 is to enable reflective algorithmic tracing for large heterogenous control systems. L'objectif du langage de programmation Funk2 est de permettre le traçage de réflexion algorithmique hétérogène pour les grands systèmes de contrôle. A few point emphasized in the Funk2 programming language are: Quelques point souligné dans le Funk2 langage de programmation sont:

Examples of the most basic computational features include: (1) memory creation , (2) memory read , and (3) memory write . Parmi les plus élémentaires de calcul présente les caractéristiques suivantes: (1) création de mémoire, (2) lire la mémoire, et (3) la mémoire à écrire. Tracing all causal relationships between these basic features allows tracing the context of all other programmer-defined semantic abstractions . Tracing toutes les relations de causalité entre ces caractéristiques de base permet de retrouver le contexte de tous les autres programmeur-sémantique des abstractions définies. All of these computational features create an intricate trace network of dependencies, automatically traceable and shared by many parallel threads of execution. Tous ces éléments de calcul de créer un réseau complexe de traces de dépendances, la traçabilité et automatiquement partagé par de nombreux parallèles fils d'exécution. Funk2 allows causal tracing to occur modularly to dynamically chosen parts of large commonsense-scale artificial intelligence projects. Funk2 traçage de causalité permet de se produire de façon dynamique modulaire choisi parties de commonsense grande échelle l'intelligence artificielle. The resulting causal dependency trace networks can be processed by critical causal reflection threads. La dépendance de causalité oligo-réseaux peuvent être traitées par la réflexion critique de causalité fils.

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): Voici comment récupérer la création Cause pour toute pièce de mémoire ([], la valeur du symbole zéro, est la seule chose qui ne référence pas un morceau de mémoire):

Note that in the Cause object there are multiple named slots holding information in the frame of the cause. Notez que dans la Cause objet de multiples nom de créneaux d'information tenue dans le cadre de la cause. The frames of a Cause are thread , env , name , and args . Les cadres d'une cause sont thread, env, le nom et args. By default only 7 levels of recursion are printed to the screen. Par défaut, seulement 7 niveaux de récursivité sont imprimées à l'écran. 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. Le symbole utilisé pour mettre fin à une récursion est l'astérisque *,. Afin d'accéder aux créneaux horaires d'un objet, vous pouvez utiliser funktions qui sont nommés d'accès et de muter les objets. For example, the following example shows how to retrieve only the name and args slots of a cause object. Par exemple, l'exemple suivant montre comment récupérer uniquement le nom et args créneaux d'une cause objet.

Here is an example of how to remember the state of an object at specific historical points in time: Voici un exemple de la manière de se rappeler l'état d'un objet historique à des points dans le temps:

Here is another example of how to remember the state of an object at specific historical points in time: Voici un autre exemple de la manière de se rappeler l'état d'un objet historique à des points dans le temps:

Here is one straightforward way to write a "Hello world!" Voici une façon simple d'écrire un "Bonjour monde!" program in the Funk2 language: programme dans la langue Funk2:

Here is another more advanced way to holla your planet: Voici une autre méthode avancée de votre planète holla:

Here is how to define and subsequently call a funktion: Voici comment définir et, par la suite un appel Funktion:

Here is how to loop over a list of values: Voici comment une boucle sur une liste de valeurs:

Here is how to call our funktion above in a parallel thread: Voici comment appeler notre funktion ci-dessus en parallèle un thread:

Here is how to serially filter every element in a list: Voici comment en série du filtre à chaque élément dans une liste:

Here is how to concurrently filter every element in a list: Voici comment en même filtre chaque élément dans une 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. L'ordonnanceur: global_scheduler variable dans l'environnement mondial peut être utilisé comme une référence au niveau mondial funk2 programmateur pour la machine locale. Processor information available from "/dev/proc" during funk2 initial bootstrap compile is available for all machines currently logged into the grid. Fabrication de l'information disponible "/ dev / proc" au cours de funk2 initiale de démarrage compilation est disponible pour toutes les machines actuellement connecté au réseau. Grid support is in development, this only shows this information for the local machine. Grille de soutien est en cours de développement, ce que montre cette information pour la machine 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. Une fois prise en charge de plusieurs machines est disponible, cette variable va changer en un funktion que prend une machine-id comme un argument et retourne la machine objet de l'ordonnanceur.