150

Haskellers when someone boasts about Typescript's fake type system. (thelemmy.club)

submitted 4 days ago by cm0002@infosec.pub to c/programmer_humor@programming.dev

40 comments fedilink hide all child comments

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

[-] marcos@lemmy.world 6 points 4 days ago

Are extensible records usable already?

Not that I would pick TS because of that, but the disdain is undeserved when it has some very useful features that Haskell has been trying to copy for years.

[-] ultimate_worrier@lemmy.dbzer0.com 8 points 4 days ago* (last edited 4 days ago)

The features Haskell has been “trying to copy” from TypeScript are, without exception, features TypeScript copied from type theory research that predates TypeScript by decades – row polymorphism from Didier Rémy’s 1989 work, untagged unions from the intersection type literature of the 1980s, type-level computation from Martin-Löf’s 1975 intuitionistic type theory – and what you are observing is not Haskell enviously watching TypeScript and taking notes, but rather two languages drinking from the same well of ideas, one of which is doing so with a formal semantics and a proof of soundness, and the other of which is doing so while standing in a JavaScript runtime and hoping no one looks down.

Purescript > Typescript