GENOTYPE - a pure functional array language. Genotype is a universal programming language that has two primitive objects: arrays and functions. Two types of functions are distinguished: univalent and multivalent. They correspond to univalent (one-dimensional) and multivalent (many-dimensional) arrays. Arrays are viewed as invariants of transformations of data. Genotype is universal, being a language that describes invariants of transformations of data. Genotype is a pure functional language as it has no imperative features and side effects. Genotype is an intrinsically parallel language: arrays permit the manipulation of multiple large groups of data as a single unit.