1. AutoHaskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
2. BackpropHeterogeneous automatic differentiation ("backpropagation") in Haskell
3. HamiltonSimulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
5. Tensor OpsType-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
6. MutableAutomatic piecewise-mutable references for your types
7. uncertainManipulating numbers with inherent measurement/experimental uncertainty.