• Eager Eagle
      link
      fedilink
      English
      12 months ago

      that’s still a docstring, idk of linters that take docstrings into account at all. We need a semantic approach for this kind of annotation.

      • @[email protected]
        link
        fedilink
        11 month ago

        That’s way harder to ask for. A docstring solution is fine so long as the linters know to pick it up.

        • Eager Eagle
          link
          fedilink
          English
          1
          edit-2
          1 month ago

          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.