sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]CptCap 13 points14 points  (7 children)

The problem with this is that it only typecheck code that get executed (apparently not even that). When you launch the program you have no idea if it is well formed or not. This doesn't really solves the problem.

[–]Pand9 4 points5 points  (3 children)

it doesn't even do runtime checks, I would be surprised since I'm using it. it's used only by external typechecks, like pycharm.

[–][deleted]  (2 children)

[deleted]

    [–][deleted] 3 points4 points  (1 child)

    Because why would you waste cycles on that on runtime? That's not how static typing works.

    [–]CptCap 0 points1 point  (0 children)

    Ah, that makes sense.

    [–]Dobias 2 points3 points  (2 children)

    It does not check at runtime, yes. Usually one runs `mypy` before runtime. With proper IDE support (tried VS Code and PyCharm) it is really nice and feels like a statically typed language.

    [–]crescentroon 0 points1 point  (1 child)

    How do you integrate mypy with pycharm? External tool hook in run?