Frege - A Haskell for the JVM

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.

Intro
Dreaming of code
Frege code
What do we gain
Pure functions
Refactoring
Java
Vega
Encoding
Global type inference
Fizzbuzz contest
Coding
Comparison
Unique Features
Frequently Asked Questions
Scala vs Frege