Funk2: Causal Reflective Programming funk2 : 인과 반사 프로그래밍

Funk2 currently compiles on 32-bit and 64-bit Linux operating systems. funk2 현재 32 - 비트와 64 - 비트 컴파일에 리눅스 운영 체제를합니다. 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 - 비트 포인터를 사용하는 것이 좋습니다에 필요한 메모리의 양을 때문에 반사하는 기능이 있고 하나의 32 - 비트 머신은 현재 몇 기가 바이트의 메모리로만에 대한 색인을 생성합니다.

The goal of the programming language Funk2 is to enable reflective algorithmic tracing for large heterogenous control systems. 그것의 목표는 반사하는 알고리즘을 사용하는 프로그래밍 언어에 funk2가 불일치하는 제어 시스템의 크기가 크면를 추적합니다. A few point emphasized in the Funk2 programming language are: funk2 프로그래밍 언어에 몇 점을 강조은 :

Examples of the most basic computational features include: (1) memory creation , (2) memory read , and (3) memory write . 가장 기본적인 계산 기능의 예 : (1) 메모리를 창출, (2) 메모리를 읽고, 그리고 (3) 메모리를 작성합니다. Tracing all causal relationships between these basic features allows tracing the context of all other programmer-defined semantic abstractions . 이러한 기본적인 기능의 모든 인과 관계를 추적 추적의 문맥을 통해 다른 모든 프로그래머 - 정의 추상적인 관념을 의미합니다. All of these computational features create an intricate trace network of dependencies, automatically traceable and shared by many parallel threads of execution. 이러한 모든 네트워크의 종속성을 추적 복잡한 계산 기능을 만들기를 자동으로 추적 및 공유하여 많은 병렬 스레드를 집행합니다. Funk2 allows causal tracing to occur modularly to dynamically chosen parts of large commonsense-scale artificial intelligence projects. 인과 관계를 추적 모듈이 발생할 수 funk2를 동적으로 선택한 프로젝트의 일부 대형 상식 - 규모 인공 지능을합니다. The resulting causal dependency trace networks can be processed by critical causal reflection 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): 다음은 창조의 원인을 회수하는 데 어떠한 방법 조각이 메모리 ([], 심볼의 값은 0,이 유일하게 한 조각의 메모리를 참조하지 않습니다) :

Note that in the Cause object there are multiple named slots holding information in the frame of the cause. 참고 사항에 그 이름이 슬롯을 원인 개체가 여러 개있는 구조의 원인에 정보를 보유합니다. The frames of a Cause are thread , env , name , and args . 프레임의 원인이 스레드를 env, 이름 및 args합니다. By default only 7 levels of recursion are printed to the screen. 기본적으로 겨우 7 수준의 재귀가 인쇄의 화면. 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. 재귀가 사용하는 결말의 상징 astrisk, *합니다.에 액세스하려면 개체의 슬롯을 사용할 수있습니다 funktions의 이름은 돌연변이 개체에 대한 액세스 및합니다. For example, the following example shows how to retrieve only the name and args slots of a cause object. 예를 들어, 다음 예제를 검색하는 방법을 보여줍니다의 이름과 args 전용 슬롯의 원인 개체를합니다.

Here is an example of how to remember the state of an object at specific historical points in time: 여기의 예는에서 개체의 상태를 기억하는 방법을 구체적인 역사 포인트를 시간 :

Here is another example of how to remember the state of an object at specific historical points in time: 여기에 자체가 또 다른보기에서 개체의 상태를 기억하는 방법을 구체적인 역사 포인트를 시간 :

Here is one straightforward way to write a "Hello world!" 여기서는 하나 간단한 방법을 쓰는 사람이 "여러분, 안녕하세요!" program in the Funk2 language: 프로그램을 funk2 언어 :

Here is another more advanced way to holla your planet: 여기에 당신의 행성은 다른 연락 방법을보다 고급 :

Here is how to define and subsequently call a funktion: 다음은 연속적으로 호출하는 방법을 정의하고 funktion :

Here is how to loop over a list of values: 다음은 이상의 목록을 반복하는 방법을 값 :

Here is how to call our funktion above in a parallel thread: 다음은 위의를 호출하는 방법을 우리의 병렬 스레드를 funktion :

Here is how to serially filter every element in a list: 다음은 모든 요소를 목록으로 필터링하는 방법을 직렬 :

Here is how to concurrently filter every element in a list: 모든 요소를 동시에하는 방법을 여기에 필터 목록 :

The scheduler:global_scheduler variable in the global environment can be used as a reference to the global funk2 scheduler for the local machine. 스케줄러 : 지구 환경 변수를 global_scheduler으로 사용할 수있습니다 스케줄러에 대한 참조를 로컬 컴퓨터에 글로벌 funk2합니다. Processor information available from "/dev/proc" during funk2 initial bootstrap compile is available for all machines currently logged into the grid. 프로세서 정보에서 구할 수있습니다 "/ dev / proc"funk2 초기 부트 스트랩을 컴파일하는 동안 현재에 로그 인한 모든 시스템을 다운로드할 수있습니다 그리드합니다. Grid support is in development, this only shows this information for the local machine. 그리드 지원을 개발,이 유일한 로컬 컴퓨터에이 정보를 보여줍니다. 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. 한 번 여러 컴퓨터에 대한 지원을 사용할 수로,이 변수가 변경이 필요 funktion - 번호로 기계를 인수하는 시스템의 스케줄러에 개체를 반환합니다.