The Flix Programming Language
(flix.dev)https://flix.dev/It has all the features other languages can only dream of.
Including:
- extensible records (doesn't exist in almost any other statically typed language)
- algebraic effects (to capture IO and other side effects by the compiler)
- type classes (like in Haskell or Scala)
Sadly I don't have time to write wrappers for the hundreds of libraries I use already with my current language of choice to consider switching to it, but looks interesting.