Type systems Memes

Posts tagged with Type systems

TS Should Have Been Rewritten In Rust

TS Should Have Been Rewritten In Rust
BEHOLD! The TypeScript mascot being STRANGLED by someone wearing a Rust bracelet! The AUDACITY! The DRAMA! This is basically the software equivalent of Game of Thrones, but with programming languages instead of noble houses! The Rust evangelists have gone TOO FAR this time - not content with telling everyone their memory-safe paradise is superior, they're now physically assaulting poor TypeScript! Next they'll be telling us that "undefined is not a function" wouldn't happen if we just rewrote everything in Rust! THE HORROR!

Some Things ̶N̶E̶V̶E̶R̶ ̶C̶H̶A̶N̶G̶E̶ ̶ Change For The...

Some Things ̶N̶E̶V̶E̶R̶ ̶C̶H̶A̶N̶G̶E̶ ̶ Change For The...
Python vs C++ in 2022: a tale of two worlds. Left side: Python's blissful simplicity. def func(x): - that's it. You're good to go. Ship it. Right side: C++'s parameter passing flowchart that looks like someone mapped the human genome. "Is x a raw memory address?" "Is x invocable?" "Does x need to be perfectly forwarded?" Just to figure out how to pass a damn variable. Remember when we thought languages would get simpler over time? Yeah, that was cute. Meanwhile C++ developers are over here with decision trees that would make air traffic controllers nervous.

Types Of Types

Types Of Types
Ah, the eternal battle of type systems! In the top panel, we see C language with its compiler ready to stab you if you dare mix an int with a float. "Is that a char* you're passing to a function expecting void*? PREPARE TO DIE." Meanwhile, Python in the bottom panel is like that rebellious teenager: "Types? Yeah, I've heard of them. More like suggestions, really." Your variable can identify as an integer on Monday and a string by Wednesday afternoon. The IDE just stands there with a sign saying it could warn you, but honestly, it's not paid enough to care. The duality of programming: strict typing that makes you feel like you're disarming a bomb vs. dynamic typing where everything's made up and the types don't matter until runtime explodes in production.