On 16/02/2018, Tim Bradshaw <tfb(a)tfeb.org> wrote (in part):
In General Relativity, one of the things you need to
do is, starting from a
metric [...], compute various geometrically and physically interesting properties.
Susssman is trying to teach DG via lisp. (Vide his "Functional
Differential Geometry".)
And a really nice post, by the way.
N.
P.S. Graham wants everyone to use LISP (
http://www.paulgraham.com/hp.html ).