FP-talk 2024-03-01: Tensor DSLs and Curved Space-Time
Channel: Patrik Jansson
Date: 2024-03-01

There is a preprint on arXiv for the underlying paper (in submission to J. Functional Programming):
  https://arxiv.org/abs/2312.02664
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. As an example we express Einstein's General Relativity equation for the curvature of space-time and verify that the Schwarzschild metric tensor is a solution.