this post was submitted on 09 Apr 2026

151 points (96.9% liked)

Programmer Humor

31258 readers

1526 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 2 years ago

MODERATORS

anzo@programming.dev

Feyter@programming.dev

BurningTurtle@programming.dev

pylapp@programming.dev

151

Haskellers when someone boasts about Typescript's fake type system. (infosec.pub)

submitted 3 weeks ago by cm0002@infosec.pub to c/programmer_humor@programming.dev

38 comments fedilink hide all child comments

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

[–] Redkey@programming.dev 4 points 3 weeks ago (1 children)

Sorry for not being clear; when I said "keep track automatically" I meant dynamic typing. Of course you're right that "keeping track of your variables" could also be interpreted to refer to static typing.

[–] chonglibloodsport@lemmy.world 3 points 3 weeks ago

Haskell keeps track of your types automatically. You can ask it “what is the type of this expression” and it will infer it for you. Haskell is of course fully static typed (types erased at compile time).