this post was submitted on 01 Nov 2023

107 points (95.0% liked)

Programmer Humor

19548 readers

1017 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

Keep content in english
No advertisements
Posts must be related to programming or programmer topics

founded 1 year ago

MODERATORS

Feyter@programming.dev

anzo@programming.dev

BurningTurtle@programming.dev

pylapp@programming.dev

107

We did this to ourselves (lemmy.world)

submitted 1 year ago by mikidep@lemmy.world to c/programmer_humor@programming.dev

42 comments fedilink hide all child comments

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

[–] tatterdemalion@programming.dev 8 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.

[–] xmunk@sh.itjust.works 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.

[–] tzrlk@lemmy.world 5 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.