We'll explore physics through Haskell, using the type system to clarify Newton's Second Law, perform numerical approximations, encode vectors, derivatives and differential equations to create dynamic graphs and animations.

For those interested in FP, math and physics. This talk is inspired by Scott N. Walck's book Learn Physics with Functional Programming (written in Haskell), which explores fundamental physics laws like Newton's Second Law, Coulomb's Law, the Biot-Savart Law, and Maxwell's equations. Due to time constraints, we'll focus on Newton's Second Law.

Our approach mirrors the book's engaging style, demonstrating how functional programming can make math and physics both accessible and exciting. My goal is to inspire more developers to explore the joy of writing math using functional programming.