4 ms·

They made pyright which is pretty rad

• 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 ago
    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!
    • still_grokking 4y ago
      I 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.