  Paraldor is an experiment in bringing the power of categorical languages to
lattice QCD computations. Our target language is Aldor, which allows the
capture of the mathematical structure of physics directly in the structure of
the code using the concepts of categories, domains and their
inter-relationships in a way which is not otherwise possible with current
popular languages such as Fortran, C, C++ or Java. By writing high level
physics code portably in Aldor, and implementing switchable machine dependent
high performance back-ends in C or assembler, we gain all the power of
categorical languages such as modularity, portability, readability and
efficiency.
