this post was submitted on 11 Feb 2024

305 points (98.4% liked)

Programmer Humor

32588 readers

1251 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

Posts must be relevant to programming, programmers, or computer science.
No NSFW content.
Jokes must be in good taste. No hate speech, bigotry, etc.

founded 5 years ago

MODERATORS

AgreeableLandscape@lemmy.ml

cat_programmer@lemmy.ml

305

Ok, at some point we made a big mistake. (lemmy.world)

submitted 9 months ago* (last edited 9 months ago) by lawrence@lemmy.world to c/programmerhumor@lemmy.ml

40 comments fedilink hide all child comments

Hacker News post about this: https://news.ycombinator.com/item?id=39309783 (source available)

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

[–] sloppy_diffuser@sh.itjust.works 4 points 9 months ago (2 children)

Not OP, and these examples are not unreadable, but they are a few steps up from your typical generics.

https://effect-ts.github.io/effect/effect/Unify.ts.html#unify

https://effect-ts.github.io/effect/effect/Pipeable.ts.html

[–] marcos@lemmy.world 8 points 9 months ago (1 children)

Creating basic functionality for the language always leads to unreadable code.

The C++ version would be much, much worse, and the Lisp version is Lisp.

[–] sloppy_diffuser@sh.itjust.works 3 points 9 months ago

Agree. What I linked provides core type support for that library. The pipe one is just a bunch of overloads to support a specific way of handling function composition to appease the TypeScript type checker.

There are a lot of typing hacks in that library to simulate higher kinded types.

[–] thesporkeffect@lemmy.world 4 points 9 months ago

Right to jail. Right now.