Frege: A JVM pure functional programming language in the spirit of Haskell

"Frege is thought as a substitute for this missing GHC port. While not derived from any existing Haskell implementation, it is more or less equivalent to Haskell 2010. Please see the wiki page that details the differences." So now Haskell can produce native executable code, run in a JVM and as subset of it (https://github.com/faylang/fay/wiki) run in the browser. Now there is no excuse for me to NOT using Haskell ;) Thanks for bringing Haskell to the JVM!

I need to take a serious look at Frege. I am writing a book on Haskell and I have spent years using various JVM languages, so Frege seems like a good bet to invest some time on - if the development environment, REPL style Dev, etc. is as smooth as it is for Haskell.

From the site: What is Frege? Winner of the JavaOne Emerging Languages Bowl 2015, 2016, 2017 Frege is a Haskell for the JVM. Like any Haskell, it is purely functional, enjoys a strong static type system with global type inference and non-strict - also known as lazy - evaluation. Frege compiles to Java, runs on the JVM, and uses any Java library you want. It can be used inside any Java project.

If only it weren't moribund. The type system and lazy evaluation would be nice for various problems, espacially if parts of your JVM program are written in another JVM language and you are able to integrate them. Very clean functional syntax. While things like strings break the full Haskell paradigm, it's all reasonsbly practical. This kind of effort is rather difficult and needs sustained involvement, by people drawn from a relatively small population. It seems to work if you do…