2 ms·

I started implementing the 'scmutils' library that this book uses in Haskell. I stopped working on it a year or so ago (because life) but it's here if anyone is

I started implementing the 'scmutils' library that this book uses in Haskell. I stopped working on it a year or so ago (because life) but it's here if anyone is interested - https://github.com/chris-taylor/Classical-Mechanics https://github.com/chris-taylor/Classical-Mechanics

notthemessiah 12y ago
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-...