• 3 Posts
  • 127 Comments
Joined 1 year ago
cake
Cake day: July 7th, 2023

help-circle













  • I guess partly because the Python tooling catastrophe makes it a quite a pain to set them up.

    Salty huh

    Saying you need to set up type hinting in Python shows that you’re the one assuming it’s a hassle like TS, where you need a different runtime to have access to something the language (JS) should have provided from the start.

    Everything you need is provided by typing, which is included in a Python install. Just import it and start using it.







  • I read it as “monads, closures, and other functional concepts are mathematical (denotational) concepts that can be proven memory-safe, while ‘functions’ (operational, as in C) are not”.

    I’m not convinced whether this operational/denotational distinction would even be useful in practice. Operational semantics are part of a formal proof using logical statements rather than math objects, so the statement above wouldn’t even make sense.


  • I don’t think so. A half-measure using docstrings would likely take more processing power and require an ad-hoc implementation because comments are not broken down into ast components afaik. It would also be more costly in the long run if they decide to convert it into a proper syntax, as a result of docstrings not having a single standard way of being written.

    Python has introduced several syntactic changes for type annotations, this is not unreasonable.