Super cool! I'm excited to see more FP and determinism in the generative art world. A while back I started trying out deterministic animations, ie (seed, t) -> (shape) rather than (oldshape) -> (shape). It requires a bit more brain-twisting to get started, but it has some really nice properties. Not just repeatability across runs, but frame skips, speed changes, rewinding, looping and composability all get much easier.
What about the real world mathematical and computational problems?
"Meep (or MEEP) is a free finite-difference time-domain (FDTD) simulation software package developed at MIT to model electromagnetic systems. Meep used Haskell to generate C++ code, after Meep 1.0 Haskell generation droped in favor of handwritten C++ code."