Funk2: Causal Reflective Programming Funk2: causal reflexivo programação

Funk2 currently compiles on 32-bit and 64-bit Linux operating systems. Funk2 atualmente compila em 32-bits e 64 bits dos sistemas operacionais 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 ponteiros são recomendados devido à quantidade de memória necessária para a capacidade reflexiva; uma máquina de 32 bits está actualmente a única capaz de índice de alguns gigabytes de memória.

The goal of the programming language Funk2 is to enable reflective algorithmic tracing for large heterogenous control systems. O objetivo da linguagem de programação é permitir que reflictam Funk2 algorítmica rastreio para grandes sistemas de controlo heterogêneas. A few point emphasized in the Funk2 programming language are: Há alguns pontos enfatizados na programação Funk2 o idioma são:

Examples of the most basic computational features include: (1) memory creation , (2) memory read , and (3) memory write . Exemplos dos mais elementares computacional características incluem: (1) criação de memória, (2) memória ler, e (3) memória escrever. Tracing all causal relationships between these basic features allows tracing the context of all other programmer-defined semantic abstractions . Tracing todas as relações causais entre estas características básicas permite rastrear o contexto de todas as outras programador-definidas abstrações semânticas. All of these computational features create an intricate trace network of dependencies, automatically traceable and shared by many parallel threads of execution. Todos esses recursos computacionais criar uma intrincada rede de dependências traço, automaticamente rastreáveis e partilhada por muitos paralelos threads de execução. Funk2 allows causal tracing to occur modularly to dynamically chosen parts of large commonsense-scale artificial intelligence projects. Funk2 causal permite a detecção ocorrer modularly dinamicamente escolhido para peças de grande escala commonsense inteligência artificial projetos. The resulting causal dependency trace networks can be processed by critical causal reflection threads. A consequente dependência causal traço redes podem ser processados pela reflexão crítica causal 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): Aqui está a forma de recuperar a criação Causa para qualquer pedaço de memória ([], o valor do símbolo nulo, é a única coisa que não se referência um pedaço de memória):

Note that in the Cause object there are multiple named slots holding information in the frame of the cause. Note que, no Causa objeto há vários chamado slots exploração informações no âmbito da causa. The frames of a Cause are thread , env , name , and args . Os quadros são Causa de um fio, env, nome, e args. By default only 7 levels of recursion are printed to the screen. Por padrão apenas 7 níveis de recursão são impressas para a tela. 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. O símbolo utilizado para pôr termo a uma recursão é o asterisco, *. Para acessar as faixas horárias de um objeto, você pode usar funktions que são nomeadas de acesso e de mutação objetos. For example, the following example shows how to retrieve only the name and args slots of a cause object. Por exemplo, a seguinte exemplo mostra como recuperar apenas o nome eo args slots de causar um objeto.

Here is an example of how to remember the state of an object at specific historical points in time: Aqui está um exemplo de como a lembrar o estado de um objeto em um determinado momento histórico em pontos:

Here is another example of how to remember the state of an object at specific historical points in time: Aqui está outro exemplo de como a lembrar o estado de um objeto em um determinado momento histórico em pontos:

Here is one straightforward way to write a "Hello world!" Aqui está uma maneira simples de escrever um "Olá mundo!" program in the Funk2 language: Funk2 programa na linguagem:

Here is another more advanced way to holla your planet: Aqui está um outro caminho a mais avançada holla seu planeta:

Here is how to define and subsequently call a funktion: Aqui está a forma de definir e posteriormente um apelo funktion:

Here is how to loop over a list of values: Aqui está a forma de laço mais de uma lista de valores:

Here is how to call our funktion above in a parallel thread: Aqui está a forma de chamar a nossa funktion acima, em paralelo um fio condutor:

Here is how to serially filter every element in a list: Aqui está como a série filtro cada elemento em uma lista:

Here is how to concurrently filter every element in a list: Aqui está a forma de cada elemento filtrante concomitantemente, em uma 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. O programador: global_scheduler variável no ambiente global pode ser usado como uma referência ao nível mundial funk2 programador para a máquina local. Processor information available from "/dev/proc" during funk2 initial bootstrap compile is available for all machines currently logged into the grid. Processador informação disponível a partir de "/ dev / proc" durante a primeira inicialização funk2 compilar está disponível para todas as máquinas atualmente conectado à rede. Grid support is in development, this only shows this information for the local machine. Grade de apoio está em desenvolvimento, isto só mostra esta informação para a 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. Depois que o apoio está disponível para várias máquinas, esta variável irá mudar em um funktion que leva a uma máquina-id como um argumento e retorna a máquina do programador objeto.