Post AcUUTJj1d6e0EpXfKS by diazona@techhub.social
(DIR) More posts by diazona@techhub.social
(DIR) Post #AcUUTHYfgdApW8gMue by isagalaev@mastodon.social
2023-12-05T01:14:12Z
0 likes, 0 repeats
Recent from Armin Ronacher is worth a read: https://lucumr.pocoo.org/2023/12/1/the-python-that-was/It strikes a note with me, although I don't agree on a couple of points.Like, "runtime errors flying left and right [..] because bad types were passed". No, most of the errors were and still are from wrong *values* being passed. Also mutable state, tight coupling and incomplete understanding of the domain. Unless your kind of programming is implementing some formal spec, types will only catch the most trivial errors.#python
(DIR) Post #AcUUTIZ3wf54ddsCA4 by meejah@mastodon.social
2023-12-05T02:00:26Z
0 likes, 0 repeats
@isagalaev I 100% agree with what seems to be @mitsuhiko 's main point there: that trying to bolt typing onto Python is not a great idea, and has led to *far* less readable Python, overall.If you want a strongly-typed language, there are plenty to choose from.#python #haskell(I too don't want to re-hash all the argument for or against types, and I do know C++, Java and at least enough Haskell to be dangerous)
(DIR) Post #AcUUTJj1d6e0EpXfKS by diazona@techhub.social
2023-12-05T02:22:00Z
1 likes, 0 repeats
@meejah @isagalaev @mitsuhiko ooh, them's fightin' words 😂But seriously though, I would say almost the exact opposite of this. The type system in #Python isn't perfect, sure, but for me it definitely helps readability and comprehension. It's useful enough that the ability to use a static type checker has probably been the single biggest productivity boost I've experienced in the entire time I've been using Python (or at least is on the short list for that title).