I'm reading this book on #Scala now and what can I say so far about the language, is that it can be summarized as ‘best effort to create a decent functional language given the limitations of JVM’. https://www.goodreads.com/book/show/13541678
#Scala it's that (and there's a lot of them), and also more. I think scala pushed the state of art regarding effect system, and things like #catseffect (more "Haskell inspired") and #zio (more "a Scala own thing") are quite amazing.
And #scala3 has really impressive things regarding types (see for ex #iron https://social.treehouse.systems/@fanf42/111935214728958950)