Today I presented "Domain-specific tensor languages" at ICFP in Singapore.
The talk was recorded and will appear when the post-conference processing is done.
Until then, here are the Slides and an earlier (longer, thus different) youtube talk about the same paper.
Github repo: github.com/jyp/linear-smc
JFP paper: doi:10.1017/S0956796825000048
Abstract:
Tensor calculus uses a terse but effective language for expressing physical laws. It was instrumental already a century ago in the formulation of Einstein's general relativity. We have implemented two tensor DSLs embedded in Haskell, the conversions between them, and helper functions to view the tensors in Einstein index notation and as diagrams.
The talk was recorded and will appear when the post-conference processing is done.
Until then, here are the Slides and an earlier (longer, thus different) youtube talk about the same paper.
Github repo: github.com/jyp/linear-smc
JFP paper: doi:10.1017/S0956796825000048
Abstract:
Tensor calculus uses a terse but effective language for expressing physical laws. It was instrumental already a century ago in the formulation of Einstein's general relativity. We have implemented two tensor DSLs embedded in Haskell, the conversions between them, and helper functions to view the tensors in Einstein index notation and as diagrams.