Simon Peyton Jones, co-creator of Haskell, discusses functional programming in depth in a podcast interview. He explains functional programming as programming with values instead of mutation, tracing its roots to lambda calculus and Turing machines. Key topics include: the safety vs. usefulness tradeoff (C is useful but unsafe, early Haskell was safe but useless), how functional ideas like garbage collection, lambdas, and type systems have influenced mainstream languages, the history of specialized hardware for functional programming (SKI machines, MIT Dataflow), lazy vs. strict evaluation and how it compares between Haskell and OCaml, monads as a mechanism for handling side effects while preserving purity, and type systems including parametric polymorphism. He also touches on Rust as a safer alternative to C, LLMs and programming languages, and whether students should still learn programming.
