Programmer Humor

34790 readers

227 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

Posts must be relevant to programming, programmers, or computer science.
No NSFW content.
Jokes must be in good taste. No hate speech, bigotry, etc.

founded 5 years ago

MODERATORS

[email protected]

159

Labels go brrrr (lemm.ee)

submitted 3 days ago by [email protected] to c/[email protected]

31 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 6 points 2 days ago (1 children)

This is just preferring runtime validation instead of compile time validation.

[–] [email protected] 7 points 2 days ago (1 children)

And relying on runtime validation is a horrific way to write production code

[–] [email protected] 2 points 2 days ago (1 children)

Why though? I've genuinely never had a problem with it. If something is wrong, it was always going to be wrong. Why is it preferable to have to write a bunch of bolierplate than just deal with the stacktrace when you do encounter a type error?

[–] [email protected] 1 points 1 day ago (1 children)

I worked on OpenStack back in the day: millions of lines of untyped Python.

Let's say you've got an X509 certificate. You know you can probably pull the subject out of it - how? Were I using Java (for instance), the types would guide my IDE and make the whole thing discoverable. The prevalent wisdom at the time was that the repl was your friend. "Simply" instantiate an object in the repl then poke at it a bit.

And it's not just that kind of usability barrier. "Where is this used?" is a fantastic IDE tool for rapid code comprehension. It's essentially impossible to answer for a large Python codebase.

Don't get me wrong: python is still a great go-to tool for glue and handy cli tools. For large software projects, the absence of type enforcement is a major impediment to navigation, comprehension and speed of iteration.

[–] [email protected] 1 points 1 day ago

And as for your specific question: typechecked code doesn't get to production with a type error; it won't compile. There's a common phrase, "left-shifting errors". It means catching bugs as early in the development cycle as possible. In terms of things like developer time (and patience), it's far more cost-effective to do so.