Search
Feeds
Discover
Firehose
Login
Debug
Fork on GitHub
See full post
aron
adler.dev
so does anyone really need rank-n types or what
May 11, 2025 18:39
0
reposts
0
quotes
0
likes
1
Repost
Quote post
View on Bluesky
Copy Bluesky URL
Copy post URL
Translate post
Show all post labels
aron
adler.dev
·
May 11
or rather: how many n's do people really need in their type systems?
Repost
Quote post
View on Bluesky
Copy Bluesky URL
Copy post URL
Translate post
Show all post labels
An unhandled error has occurred.
Reload
🗙
