Explore the pure functional programming language Frege, designed for the JVM, in this one-hour conference talk. Discover how Frege closely follows Haskell's syntax and behavior, offering strong type safety, Hindley-Milner type inference, higher-rank types, typeclasses, and lazy evaluation by default. Learn about Frege's unique approach to Java interoperability, maintaining purity and type safety when calling Java code. Delve into topics such as pure functions, refactoring, global type inference, and a Fizzbuzz coding contest. Compare Frege with other JVM languages, particularly Scala, and gain insights into its distinctive features and frequently asked questions.