Why "on top of Python"? The runtime is slow as hell, limited and actually very aged. But there are better modern alternatives. https://docs.scala-lang.org/sca

Why "on top of Python"? The runtime is slow as hell, limited and actually very aged. But there are better modern alternatives. https://docs.scala-lang.org/scala3/book/scala-for-python-devs.html https://docs.scala-lang.org/scala3/book/scala-for-python-dev... Types in Scala are not only "first-class". You can even program with them like in TS. https://blog.rockthejvm.com/type-level-programming-scala-3/ https://blog.rockthejvm.com/type-level-programming-scala-3/ (Type level functions are correctness proves, BTW.) Enjoy!