Python type hints are Turing complete

Re:Python type hints are Turing complete by the_af on Saturday September 10, 2022 @11:09AM (#32791321)

The problem is justifying type hints to skeptical developers with no experience from either world.

Coming from the statically typed world, I struggled to justify type hints to inexperienced devs who saw all the holes in them, and so they simply refused. I had no authority to enforce anything, and in any case, enforcing by mandate is not ideal.

So I wish type hints were better so that my arguments for them could be more solid.

[ Parent | on HN ]

Re:Python type hints are Turing complete by __MatrixMan__ on Tuesday September 13, 2022 @10:31AM (#32824748)

I've had a lot of luck with:

"ok now type g... wait, why isn't get_foo autocompleting for you? Hold on, lets go add a hint..."

I realize that you're not going to piecemeal your way to satisfying mypy output like this, but I think it plants the seed in a way that prevents the mentor from being the type-cops.

[ Parent | on HN ]