Motivation

Why FP?

• Simon Peyton-Jones (Haskell designer): "when the limestone of imperative program has worn away, the granite of functional programming will be revealed underneath!" [video]
• Startup experience report on using Elm: https://blogg.bekk.no/using-elm-at-vy-e028b11179eb

Why static types?

• In a study directly comparing JavaScript and TypeScript, the use of the latter reduced bugs by a shocking 15% [summary on Stack Overflow] [paper]