Hamler is a new language derived from Haskell, a fork of the Purescript compiler which in turn is a fork of GHC but tageting the Erlang OTP runtime.
Erlang has type envy, and Haskell could benefit use a heavily used and scalable runtime for concurrent applications, so this could be a very nice fit for commercial software development if it can gain the necessary traction among developers.
I’m not sure what the story for ErlangOTP (the eventual target) is on aarch64 yet – watch this space as that could be a heady mix indeed. The only issue with forking GHC is that incorporating both upstream and downstream developments might prove challenging.
One to watch.