Frege: purely functional programming for the JVM

on YouTube ↗54m

" summary

Frege is a Haskell-for-JVM that compiles Haskell to Java source (then javac to bytecode), enforces purity across Java calls by requiring Frege types for Java methods, and marks side effects as IO types for side effects so impure calls percolate up the call chain. Examples include partial application, function composition, memoizable pure math calls, a FizzBuzz built from infinite streams and zip, and a transactional counter checked by the compiler. The language uses global type inference to reject side effects in parallel/STM code and eliminate nulls and NPEs.

AI-written summary · about

" chapters (12)

1. 0:00Start
2. 6:46Operational Reasoning
3. 7:18Using functions
4. 12:36Define a Function
5. 16:58Reference a Function
6. 21:01Function Composition
7. 24:58Pure Functions
8. 34:08Java Interoperability
9. 35:14Frege - Java
10. 48:29Fizzbuzz Logical
11. 48:46Fizzbuzz Comparison
12. 51:43Unique in Frege

" related talks

• 01h 00mFrege: Purely Functional Programming for the JVMDierk König · GOTO Berlin 2015
• 51mFunctional Programming with JavaFalk Sippach · JCON EUROPE 2026
• 46mDesigning Functional ProgramsVenkat Subramaniam · Oracle OpenWorld 2017
• 36mHow functional programming change my Java codeBartek Koziołek Kuczyński · JDD 2017
• 52mFunctional Programming with Java 8Venkat Subramaniam · Devoxx US 2017
• 01h 06mThe Joy of Functional ProgrammingVenkat Subramaniam · Functional Conf 2014
• 34mPrinciples of functional programming with examples in Java and HaskellZuzanna Kruszczynska · Women Techmakers Barcelona 2019
• 49mRelax, It's Just FPJacek Kunicki · Confitura 2022