The Paraldor Project
T. Ashby, D. Galletly, B. Joo, A. D. Kennedy, G. Lacagnina
TL;DR
The Paraldor project explores using the Aldor language to incorporate categorical mathematics into lattice QCD computations, enhancing code modularity, portability, and efficiency.
Contribution
It demonstrates how to leverage Aldor's categorical structures for high-level physics code in lattice QCD, bridging mathematical theory and practical implementation.
Findings
Enables high-level physics programming with categorical languages.
Provides a framework for portable and efficient lattice QCD code.
Shows integration of Aldor with low-level back-ends for performance.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.