Arrows to arrows, categories to queries (2025)
0 comments
- Points69
- Comments6
0 comments
Story details from Hacker News ↗ · linked article on reasonablypolymorphic.com.
Arrows to arrows, categories to queries (2025) was first seen on Hacker News · Front page on Nov 4, 2026. Since then it has appeared in 50 checks on 1 different day. Its best position was #22 of 30, reached on Nov 4, 10:22 UTC. It dropped off the list after Nov 4, 15:37 UTC. The same link also trended on Lobsters, which raises its cross-platform score.
Position on Hacker News · Front page at every check (lower is better).
Best rank per day (UTC).
Platform metric as reported by Hacker News.
| List | Best | Days | Checks | Last seen |
|---|---|---|---|---|
| Hacker News · Front page | #22 | 1 | 50 | |
| LLobsters · Hottest Arrows to Arrows, Categories to Queries | same link | |||
A few top-level comments from Hacker News, shortened. Read the full thread on Hacker News.
Nice, I've also been playing around with creating a programming language based on some concepts in category theory, but I've been focusing more on the concept of polynomial functors. I know there is somewhat of a stigma against category theory on Hacker News for some reason, but it's cool to see people inspired to…
How does the use of arrows instead of functions actually help here? If you have a terminal object aka unit type `()`, then arrows `() ~> a` are equivalent to elements of `a`.
Archived daily, weekly and monthly lists that include this entry.
Not at the moment. It was last on the list on Nov 4, 15:37 UTC, after 1 day of trending.
#22 on Hacker News · Front page, on Nov 4, 10:22 UTC. Trendoday checks this list every 15 minutes.
It was first seen on Nov 4, 2026 and has been on the list on 1 day (50 checks) since.
69 points and 6 comments; submitted by firstbase on Nov 4, 2026.