alt.hn

6/29/2026 at 1:20:41 PM

Counterexamples in type systems (2021)

https://counterexamples.org/

by bramadityaw

7/1/2026 at 4:34:40 AM

Love the title.

I believe the authors are riffing off the wonderful 1970 Counterexamples in Topology[0] book. There's a minor tradition of this among the cognoscenti. The topology book is an absolute gem and very approachable if you have working familiarity with the fundamentals.

[0]:https://en.wikipedia.org/wiki/Counterexamples_in_Topology

by xelxebar

7/1/2026 at 4:46:04 AM

There's also π-Base which is a community-maintained extension of the book. It's pretty fun to explore.

https://topology.pi-base.org/

by flavenstein

6/30/2026 at 10:55:19 PM

> The word "polymorphism" can refer to several different things.

Appropriate.

by someonebaggy