113

We did this to ourselves(lemmy.world)

posted
by
Avatar
mikidep@lemmy.world
in
Avatar
programmer_humor@programming.dev
42 comments
hidereport
Sort:
HotTopControversialNewOld
You are viewing a single thread.
View all comments View context
Avatar
tatterdemalion@programming.dev
9 points

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.

permalink
report
parent
reply
Avatar
xmunk@sh.itjust.works
4 points

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

permalink
report
parent
reply
Avatar
tzrlk@lemmy.world
7 points

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.

permalink
report
parent
reply

Programmer Humor

!programmer_humor@programming.dev

Create post

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

Community stats

  • 3.2K

    Monthly active users

  • 1K

    Posts

  • 38K

    Comments

Community moderators