[lymitshn]

Yep, wish JVM had it too, and no Scala doesn't count.

[sideeffffect]

Oh yes it does count. Scala can be a nice functional language, with a powerful module system.

Although I miss type providers, enforced lack of cycles and other nice things, like syntax:

https://contributors.scala-lang.org/t/scala-3-very-impressiv...

[moonchild]

Frege? (https://github.com/Frege/frege)