this post was submitted on 23 Jun 2026

218 points (97.0% liked)

Programmer Humor

32021 readers

312 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 3 years ago

MODERATORS

anzo@programming.dev

Feyter@programming.dev

BurningTurtle@programming.dev

pylapp@programming.dev

218

Meet Potential Language (lemmy.world)

submitted 6 days ago by ZILtoid1991@lemmy.world to c/programmer_humor@programming.dev

33 comments fedilink hide all child comments

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

[–] bss03@infosec.pub 1 points 5 days ago

Agreed. I don't think it should be called typing; it's more tagging (yes, like tagged unions). But, I don't think I'll see that semantic shift in my lifetime.

Anyway, I prefer my types static and my functions curried, which is why I do PureScript, Idris, and Haskell for my personal projects.