• | • | • |
May 14, 2020 |
Purely Functional Programming on the JVM with Frege |
We are happy to announce that Dierk König will be our special guest for this month's meeting. |
Contrary to popular belief, it is not sufficient to have lambda expressions in order to get the benefits of functional programming. First of all, you need to have pure functions, i.e., side-effect free transformations, to safely proceed into lazy evaluation, function composition, and high-order functions. |
Frege has gone a very interesting route to provide purely functional programming on the JVM while integrating with the Java platform, the language, and the libraries without compromising either. Its terse syntax and lazy execution model follows the spirit of Haskell. The JVM integration requires a rigid demarcation of effects. Frege comes with a Hindley-Milner type system that allows static analysis of the code and a very efficient type inference. |
In this presentation, you will experience many of the advantages that only a purely functional language brings to the table and how you can fully exploit them in your Java application. Anybody who takes functional programming on the JVM seriously should have a closer look at Frege. |