We’ll explore physics through Scala/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, using Scala and Typelevel libraries. 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 Scala developers to explore the powerful Typelevel libraries for writing math in functional programming.