Glad you posted this, had tried to do the same earlier this year. Also related, this POPL paper shows how Noether's Theorem (the idea that every symmetry yields

Glad you posted this, had tried to do the same earlier this year. Also related, this POPL paper shows how Noether's Theorem (the idea that every symmetry yields a conservation law e.g. rotational symmetry => angular momentum conservation) can be derived from applying parametric polymorphism to Lagrangian mechanics: http://bentnib.org/conservation-laws.html http://bentnib.org/conservation-laws.html This summary of the above paper is much more comprehensible: http://ezyang.tumblr.com/post/74405137526/robert-atkey-from-parametricity-to-conservation-laws#notes http://ezyang.tumblr.com/post/74405137526/robert-atkey-from-...