Arbol
Encyclopedia
Arbol is a programming language
which has been primarily developed for use in Genetic Programming
experiments. It is a functional programming language inspired by the ideas of other small and esoteric languages.
An Arbol program looks like:
// Simple I/O
((Z a)b) = (((a b)a)I1) // some input
(((ZZ a)b)c) = ((a b)a); O1 = c // and output
main = ((Z ZZ) Z)
The first version of the interpreter
is written in OCaml
following the implementation of the Spineless Tagless G-Machine.
Each program structure is compiled to intermediate bytecode
for execution.
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
which has been primarily developed for use in Genetic Programming
Genetic programming
In artificial intelligence, genetic programming is an evolutionary algorithm-based methodology inspired by biological evolution to find computer programs that perform a user-defined task. It is a specialization of genetic algorithms where each individual is a computer program...
experiments. It is a functional programming language inspired by the ideas of other small and esoteric languages.
An Arbol program looks like:
// Simple I/O
((Z a)b) = (((a b)a)I1) // some input
(((ZZ a)b)c) = ((a b)a); O1 = c // and output
main = ((Z ZZ) Z)
The first version of the interpreter
Interpreter (computing)
In computer science, an interpreter normally means a computer program that executes, i.e. performs, instructions written in a programming language...
is written in OCaml
Objective Caml
OCaml , originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996...
following the implementation of the Spineless Tagless G-Machine.
Each program structure is compiled to intermediate bytecode
Bytecode
Bytecode, also known as p-code , is a term which has been used to denote various forms of instruction sets designed for efficient execution by a software interpreter as well as being suitable for further compilation into machine code...
for execution.