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.<p>Especially for “typed” languages that have done typing very wrong, as Python or Typescript.
I agree. This looks like a dogmatic types-everywhere, unpythonesque limitation. Add type inference and I’ll buy it.
Can you elaborate how those languages have "done typing very wrong"?
Gawain, the finest night alive (literally <i>Þe most kydde knyȝtez vnder Krystes seluen</i>) committed one indisputable, albeit minor, transgression under a regime of unsparing precision.<p>> <i>ȝe han redily rehersed, bi resoun ful trwe,
Alle þe covenauntz þat I yow kende...</i><p>("You have readily recapitulated, by fully accurate accounting, all covenants that I declared.")<p>I can't think of a <i>more</i> fitting name except, perhaps, the speaker of these lines: the exacting Lord Bertilak.
> the finest [k]night alive (literally <i>Þe most kydde knyȝtez vnder Krystes seluen</i>)<p>Some scattered thoughts:<p>- As far as I can tell <i>kyðde</i> means "known" and is only indirectly a statement about his quality as a knight. You can be the most famous without being the best.<p>- <i>Resoun</i> ["reason"] does means 'accounting', but as in 'give an account of what happened', not in the modern sense of "financial figures". I have difficulty understanding your translation for that reason.<p>- I'm curious why there's a 'v' in "covenauntz" when "seluen" is spelled with a 'u', or, for that matter, when "vnder" is spelled with a 'v'.<p>- Tolkien (as seen on wikisource) and Richard Morris (Project Gutenberg) have <i>And þou hatȝ redily rehersed, bi resoun ful trwe / Clanly al þe couenaunt þat I þe kynge asked</i>. (This solves the problem of why there would be a 'v' in <i>covenaunt</i>...) This seems to acknowledge that Gawain has accurately repeated the terms of <i>the single covenant that the Green Knight has declared to Arthur</i> ("let one of your men take up my guisarme and deal me any blow, and I will return the same blow twelve months hence"), not a list of every agreement he's ever made with anyone. I'm a little surprised by <i>þat I yow kende</i>; as far as I was aware, the Green Knight made his declaration to the court in general and had no idea that the person taking him up on it would be Gawain.<p>- Does Lancelot exist in the source you're quoting from? The Knight of the Cart seems to predate Gawain and the Green Knight by a couple of centuries.<p>(While looking into some of these questions, I found the following project:<p><a href="https://digitalcollections.ucalgary.ca/Browse/Collections/Gawain-Manuscript/" rel="nofollow">https://digitalcollections.ucalgary.ca/Browse/Collections/Ga...</a><p><a href="https://wpsites.ucalgary.ca/gawain-ms/wp-content/uploads/sites/146/2024/01/SGGK-final.pdf" rel="nofollow">https://wpsites.ucalgary.ca/gawain-ms/wp-content/uploads/sit...</a><p><a href="https://wpsites.ucalgary.ca/gawain-ms/wp-content/uploads/sites/146/2024/01/General-Introduction.pdf" rel="nofollow">https://wpsites.ucalgary.ca/gawain-ms/wp-content/uploads/sit...</a><p>which I'm linking here in case other people find it interesting, and also in case this makes it easier for me to find it again myself one day.)
> "You have readily recapitulated, by fully accurate accounting, all covenants that I declared."<p>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 :)<p>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.
I think similar to `dict[str, Any]`, my (justified?) recent pet peeve is `| None`.<p>I posted this yesterday pretty much on that: <a href="https://charemza.name/blog/posts/software/type-safety/type-safety-is-a-double-edged-sword/" rel="nofollow">https://charemza.name/blog/posts/software/type-safety/type-s...</a>
Maybe not for me but I love the attitude.<p>(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<p>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.
Semantic indentation is fundamentally an insane design. And I don't mean "insane" as a colloquialism for "dumb". I mean it is literally not a sane choice to make.<p>English would make a horrid programming language, so being close to it is not a plus.
I think it makes a lot of sense.<p>Nearly everybody agrees that a neat formatting style is better and more readable than a messy inconsistent one. So while designing a programing language intended to be highly readable we jump two steps ahead. mandatory linting, make the neat format part of the syntax, remove the parts of the syntax now superfluous due to the mandatory neat format, and you have python.
> Semantic indentation is fundamentally an insane design<p>That is a common complaint against Python, and tbh it also made me uneasy at first.<p>But honest question: Do you write any Python yourself?<p>I ask because I’ve only heard this objection from people who do not write Python at all.<p>IME, people soften up on it after some use. I find that this is the case for many (visual) aspects of syntax.
In the age of auto-formatters, I have less and less sympathy for this point of view.<p>Any widely used formatter indents along semantics anyway, so why clutter your code with curly braces everywhere if stucture is clear from indentation? Might as well make it semantic.<p>Before auto-formatters, there was the occasional case where you could argue that some quick hack made something more readable, at the expense of less consistency and wasted time arguing about this in code reviews. But that ship has sailed, arguably rightfully so.<p>And that doesn't even bring the LLM angle. If code is generated by a machine anyway and you just review it, if even that, why <i>still</i> bash indentation as a semantic construct?
If you have to run your source code through a formatter to make sure it doesn’t have mixed tabs and spaces that is not the flex you seem to think it is.<p>If you’re going to just have an LLM write all the code anyway why bother with a slow janky mess like python at all? Just make it write rust or java or go or literally anything.<p>Imagine having a magical machine that can write code in any programming language ever conceived, and you ask it to pick the language whose community thinks virtualenvs are a reasonable solution as opposed to a mark of profound shame. Couldn’t be me.
Considering the endless arguments over C syntax I really don't see what is so weird about Python indentation. It has the nice effect of making code look a lot more consistent.
[dead]
Python code using advanced features of the language (see for example [1]) look as much like line noise as C++ template metaprogramming. If "close to the english language" is your criterion, I believe COBOL should rank higher than python:<p>ADD transaction-balance TO total-balance.<p>Is readable to a layman whereas this isn’t:<p>total-balance += transaction-balance<p>Or even worse for someone who learned algebra but not programming (this looks like an equation, and transaction-balance is therefore equal to zero):<p>total-balance = total-balance + transaction-balance<p>[1] <a href="https://stackoverflow.com/questions/6760685/what-is-the-best-way-of-implementing-a-singleton-in-python" rel="nofollow">https://stackoverflow.com/questions/6760685/what-is-the-best...</a>
Be cool to have a strict Python that actually runs fast with types...
Maybe mypyc? <a href="https://github.com/mypyc/mypyc" rel="nofollow">https://github.com/mypyc/mypyc</a><p>To be honest, I never tried it personally, but I try to check up on its status every couple of months.
>a strict Python that actually runs fast with types...<p>Isn't that just C with extra steps
I wish the people spearheading the charge to integrate static typing into Python has borne in mind the old aphorism about not being able to make an octopus by nailing legs to a dog.<p>Python is a great dynamic language. There are many great statically typed languages. Why does every great dog have to become a half-assed octopus?
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.<p>May as well be strict, right! We have the technology.<p>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]