this post was submitted on 01 Nov 2023
113 points (91.2% liked)

Programmer Humor

19564 readers
795 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 64 points 1 year ago (27 children)
[–] [email protected] 61 points 1 year ago (26 children)

It's making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they... don't.

[–] [email protected] 4 points 1 year ago (4 children)

I may just be an old country ~~lawyer~~ PHP developer... but don't most dynamic languages also support static type checking and general analysis at this point?

[–] [email protected] 9 points 1 year ago (1 children)

Yes if you use type annotations. Languages like Python and Typescript end up resorting to "Any" types a lot of the time, which breaks any kind of theorem proving you might have otherwise benefited from.

[–] [email protected] 4 points 1 year ago (1 children)

I know Java developers that are addicted to Object. Hit them over the head with an ensmarttening stick and reject their PRs.

[–] [email protected] 7 points 1 year ago

Java developers aren't allowed to not know better by this point. If they think skipping types is somehow ideologically purer, keep hitting with that stick until you hit deckplate.

load more comments (2 replies)
load more comments (23 replies)
load more comments (23 replies)