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

Big P
link
fedilink
English
59M

For example?

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

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.

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.

Right to jail. Right now.

Create a post

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.
  • 1 user online
  • 77 users / day
  • 211 users / week
  • 413 users / month
  • 2.92K users / 6 months
  • 1 subscriber
  • 1.53K Posts
  • 33.8K Comments
  • Modlog