Counterexamples in Type Systems - Counterexamples in Type Systems

C counterexamples.org ↗

▲ 60 points • 4 comments • by bramadityaw • 4mo ago • HN discussion ↗

Pangram verdict · v3.3

We believe that this document is fully human-written

0 %

AI likelihood · overall

Human

100% human-written 0% AI-generated

SEGMENTS · HUMAN 1 of 1

SEGMENTS · AI 0 of 1

WORD COUNT 109

PEAK AI % 0% · §1

Analyzed

Jun 30

backend: pangram/v3.3

Segments scanned

1 windows

avg 109 words each

Distribution

100 / 0%

human / AI fraction

Verdict

Human

Pangram v3.3

Article text · 109 words · 1 segments analyzed

Human AI-generated

§1 Human · 0%

Counterexamples in Type SystemsIntroductionIndex and Glossary1. Polymorphic references2. Covariant containers3. Incomplete variance checking4. Objects under construction5. Curry's paradox6. Eventually, nothing7. Dubious evidence8. Some kinds of Anything9. Any (single) thing10. Mutable matching11. Runtime type misinformation12. Overloading and polymorphism13. Distinctness I: Injectivity14. Distinctness II: Recursion15. Distinctness III: Options16. Subtyping vs. inheritance17. Selfishness18. Privacy violation19. Unstable type expressions20. The avoidance problem21. A little knowledge...22. Underdetermined recursion23. Overdetermined recursion24. Scope escape25. Under false pretenses26. Suspicious subterms27. There's only one Leibniz28. Intersecting references29. Polymorphic union refinement30. Positivity, strict and otherwise31. Nearly-universal quantification

Counterexamples in Type Systems

Counterexamples in Type Systems collated by Stephen Dolan, with thanks to Andrej Bauer, Leo White and Jeremy Yallop