this post was submitted on 10 Sep 2025
551 points (98.2% liked)

Programmer Humor

26265 readers
1752 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 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] Ephera@lemmy.ml 3 points 1 day ago (1 children)

Yeah, I kind of respect the stance, because it knows what it wants to be, but I also wrap number types into a separate data type to document that maybe you shouldn't multiply a port number by the wheel count and pass that into the temperature parameter, because I want more fine-grained typing, not one-size-fits-all.

I love the idea of "tiny types" like that and wish they were built into more languages.