一种生态系统的方法

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