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.
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.
(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)
That's an interesting objection, given Python is the closest programming language to English. Understandable if your native language isn't English, but really strange otherwise IMO.
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.
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...
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.
> "You have readily recapitulated, by fully accurate accounting, all covenants that I declared."
This should be in the README.
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.
What languages are you using ?
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)
> The python syntax is not pretty to begin
That's an interesting objection, given Python is the closest programming language to English. Understandable if your native language isn't English, but really strange otherwise IMO.
Be cool to have a strict Python that actually runs fast with types...
Maybe mypyc? https://github.com/mypyc/mypyc
To be honest, I never tried it personally, but I try to check up on its status every couple of months.
Python 9.x release notes: we are a statically typed language now.
Maybe just... Stop writing py?
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.