• 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.