The linked paper doesn't address the elephant in the room - numerical integration is a finicky process to work with in many systems. Students who are still work

The linked paper doesn't address the elephant in the room - numerical integration is a finicky process to work with in many systems. Students who are still working to understand the underlying concepts are not going to be helped by things like non-energy conserving integrals. [1] The lack of units in the type system also means the error-preventing properties of static typing are somewhat limited here; it's possible to write code that assumes F=a/m without any complaint from the compiler. [1] http://en.wikipedia.org/wiki/Energy_drift http://en.wikipedia.org/wiki/Energy_drift