218
Meet Potential Language
(lemmy.world)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 23 Jun 2026
218 points (100.0% liked)
Programmer Humor
32322 readers
275 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
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.