2026-11-08 01:35 UTC
@MaddieM4@raphus.social @sackofbones@kolektiva.social people believing a strong type system magically makes something safe is so dangerous. the type system is a tool for *you* to tell the computer what constraints your program is supposed to obey. if you don't give the computer this information and let it make shit up for you, all bets are off
Replies (1)
-
@MaddieM4@raphus.social 2026-11-08 01:38
@jcoglan@mastodon.social @sackofbones@kolektiva.social True! And we didn't see that kind of misguided fervor with DB constraints, people understood their role pretty well, so type fervor confuses me.