Funk2: Causal Reflective Programming Funk2: causal reflexiva de programación

Funk2 currently compiles on 32-bit and 64-bit Linux operating systems. Funk2 actualmente compila en 32 bits y 64 bits, los sistemas operativos 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. Punteros de 64 bits se recomienda debido a la cantidad de memoria necesaria para la capacidad reflexiva, una de 32 bits máquina por el momento sólo se pueden indexar unos pocos gigabytes de memoria.

The goal of the programming language Funk2 is to enable reflective algorithmic tracing for large heterogenous control systems. El objetivo del lenguaje de programación Funk2 es permitir el rastreo de reflexión algorítmico para las grandes heterogéneos sistemas de control. A few point emphasized in the Funk2 programming language are: Algunos hicieron hincapié en el punto en el Funk2 lenguaje de programación son los siguientes:

Examples of the most basic computational features include: (1) memory creation , (2) memory read , and (3) memory write . Ejemplos de los más elementales de cálculo características incluyen: (1) la creación de memoria, (2) lectura de memoria, y (3) memoria escribir. Tracing all causal relationships between these basic features allows tracing the context of all other programmer-defined semantic abstractions . El rastreo de todas las relaciones de causalidad entre estas características básicas permite localizar el contexto de todos los demás-programador define semántica abstracciones. All of these computational features create an intricate trace network of dependencies, automatically traceable and shared by many parallel threads of execution. Todas estas características computacionales crear una intrincada red de rastrear las dependencias, automáticamente la trazabilidad y compartida por muchos hilos paralelos de ejecución. Funk2 allows causal tracing to occur modularly to dynamically chosen parts of large commonsense-scale artificial intelligence projects. Funk2 causal permite la localización a ocurrir modular de forma dinámica elegido piezas de gran escala común de inteligencia artificial proyectos. The resulting causal dependency trace networks can be processed by critical causal reflection threads. El resultado causal rastrear las redes de dependencia puede ser procesado por la reflexión crítica de causalidad hilos.

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): Aquí es cómo recuperar la creación Causa para cualquier pieza de memoria ([], el valor del símbolo nulo, es la única cosa que no se referencia un trozo de memoria):

Note that in the Cause object there are multiple named slots holding information in the frame of the cause. Tenga en cuenta que en la Causa objeto hay múltiples ranuras de nombre que contienen la información en el marco de la causa. The frames of a Cause are thread , env , name , and args . Los fotogramas de una Causa son el hilo, env, el nombre y args. By default only 7 levels of recursion are printed to the screen. Por defecto sólo el 7 niveles de recursión se imprimen a la pantalla. 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. El símbolo utilizado para poner fin a una recursión es el astrisk, *. Para tener acceso a las ranuras de un objeto, puede utilizar funktions que se nombran para acceder a mutar y objetos. For example, the following example shows how to retrieve only the name and args slots of a cause object. Por ejemplo, el siguiente ejemplo muestra cómo recuperar sólo el nombre y la args ranuras de una de las causas objeto.

Here is an example of how to remember the state of an object at specific historical points in time: Aquí está un ejemplo de cómo recordar el estado de un objeto histórico en puntos específicos en el tiempo:

Here is another example of how to remember the state of an object at specific historical points in time: Aquí hay otro ejemplo de cómo recordar el estado de un objeto histórico en puntos específicos en el tiempo:

Here is one straightforward way to write a "Hello world!" Esta es una sencilla forma de escribir un "Hola mundo!" program in the Funk2 language: en el programa Funk2 idioma:

Here is another more advanced way to holla your planet: Aquí hay otro modo avanzado a holla su planeta:

Here is how to define and subsequently call a funktion: Aquí es cómo definir y, posteriormente, llamar a un funktion:

Here is how to loop over a list of values: Aquí está la forma de bucle más de una lista de valores:

Here is how to call our funktion above in a parallel thread: Aquí es cómo llamar a nuestro funktion arriba en un hilo paralelo:

Here is how to serially filter every element in a list: Aquí está la forma de serie filtro de cada elemento en una lista:

Here is how to concurrently filter every element in a list: Aquí está la manera de filtro simultáneamente todos los elementos en una lista:

The scheduler:global_scheduler variable in the global environment can be used as a reference to the global funk2 scheduler for the local machine. El planificador: global_scheduler variable en el medio ambiente mundial puede ser utilizado como una referencia mundial para la funk2 planificador de la máquina local. Processor information available from "/dev/proc" during funk2 initial bootstrap compile is available for all machines currently logged into the grid. Procesador de información disponible "/ dev / proc" durante el arranque inicial funk2 compilar está disponible para todas las máquinas actualmente conectado a la red. Grid support is in development, this only shows this information for the local machine. Grid es el apoyo en el desarrollo, esto sólo muestra esta información para la máquina local. 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 vez que el apoyo a múltiples máquinas está disponible, esta variable va a cambiar en un funktion que tenga una máquina-id como argumento y devuelve la máquina objeto del planificador.