Staged compilation of tensor expressions

Marco Zocca

Keywords: tensor algebra, domain-specific languages, metaprogramming, declarative programming

TL;DR: Using template Haskell to compile tensor reductions from a high-level DSL

Abstract: We present our current progress towards a metaprogramming framework for tensor expressions embedded in Haskell; the system offers a high-level syntax for linear algebra, and generates specialized source code with type-level dimension annotations.