Tradition Is Smarter Than You Are (2018) | Hacker News - But Better

Tradition Is Smarter Than You Are (2018)scholars-stage.org

The more modern type of reformer goes gaily up to [a fence] and says, “I don’t see the use of this; let us clear it away.” To which the more intelligent type of reformer will do well to answer: “If…

3 points•Tomte•4 days ago•0 comments•

#tradition #smarter #type #reformer #gaily #modern #fence #let

0 comments

No comments yet.

Related stories

Hoare Type Theory, Polymorphism and Separationynot.cs.harvard.edu
Lobsters · 8 points · about 9 years ago
Type Safe Printf via Type Providers (F#)blog.mavnn.co.uk
Lobsters · 7 points · over 12 years ago
Do not let your type system reason about aliasing in your programming languagefuthark-lang.org
Hacker News · 1 points · 4 days ago
Do not let your type system reason about aliasing in your programming languagefuthark-lang.org
Lobsters · 32 points · 7 days ago
Your Type Guard Can Silently Drift from Your TypeScript Type 🔧dev.to
DEV Community · 72 points · 7 days ago
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosisarxiv.org
Lobsters · 6 points · about 9 years ago