资 源 简 介
OCamL, Genetic Programming
(news: currently porting to F# for easier GUI production)
Abstraction-Based Genetic Programming (ABGP)
ABGP is a genetic programming system in which the genotype search space is partitioned
by the proofs to which each program is linked to via the Curry-Howard isomorphism. The
proofs act as species for organsims by specifying a pattern in which typed genes can be
plugged in. Organisms are arrangements of gene as specified by the species to which they
belong. Each gene is a closed computational block that may be combined with other blocks
to form an organism.
See the Context wiki page
