12 ms·
Yeah it's pretty great, but still hamstrung by the inherent limitations of the language itself. Would love to see a new language on top of Python that treats ty
by phailhaus 4y ago
Yeah it's pretty great, but still hamstrung by the inherent limitations of the language itself. Would love to see a new language on top of Python that treats types as first-class constructs.
- still_grokking 4y agoWhy "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!
- still_grokking 4y agoI guess I should have mentioned that Scala 3, with its new syntax, look almost like "Python with types". That's why I've mentioned it.