https://hgpu.org/?p=6453
A programming language interface to describe transformations and code generation