A Functional Approach to Sex: Reproduction in the Creatur Framework

摘要

Implementing genetics and reproduction for artificial life involves a set of tasks that are only loosely dependent on the type of agent or the method of reproduction. Creatur is a software framework for automating experiments with artificial life, and a library of modules that can be used to implement agents. In this paper we describe how Creatur uses Haskell features such as monads, domain-specific embedded languages, and datatype-generic programming to simplify the implementation of genetics and reproduction. We discuss the possibility that type families could support duplicate instance declarations in appropriate circumstances.