Show HN: Gawain – Require type hints on all Python variables

This is awful. I love type correctness, but going all the way to flag PORT=8080? There should be a basic level of type inference.

Especially for “typed” languages that have done typing very wrong, as Python or Typescript.

Gawain, the finest night alive (literally Þe most kydde knyȝtez vnder Krystes seluen) committed one indisputable, albeit minor, transgression under a regime of unsparing precision.

> ȝe han redily rehersed, bi resoun ful trwe, Alle þe covenauntz þat I yow kende...

("You have readily recapitulated, by fully accurate accounting, all covenants that I declared.")

I can't think of a more fitting name except, perhaps, the speaker of these lines: the exacting Lord Bertilak.

I think similar to `dict[str, Any]`, my (justified?) recent pet peeve is `| None`.

I posted this yesterday pretty much on that: https://charemza.name/blog/posts/software/type-safety/type-s...

This is cool. And I appreciate the cheeky comment about not using this program if your IDE or whatever does type checking already :)

But honestly, after I realized I appreciate types being enforced, I started writing in different languages. I rarely return to Python unless I'm scripting something that doesn't require longevity.

Maybe not for me but I love the attitude.

(And actually, my personal objection is incidental: The python syntax is not pretty to begin with and the situation does not improve with even more visual verbosity)

Be cool to have a strict Python that actually runs fast with types...

Maybe just... Stop writing py?

Python 9.x release notes: we are a statically typed language now.

Yes! Exactly what a long term codebase needs.

May as well be strict, right! We have the technology.

Agents will fix lint issues same as any other kind of error. So lint in a blocking pre-commit hook. End result: 100% strongly typed agent written code, at least one kind of slop gone.

[flagged]

[flagged]

[dead]