A Type Stronger Than the Sum of Its Components | Hacker News - But Better

A Type Stronger Than the Sum of Its Components schneems.com

Have you ever written a type that you appreciated so much you still think about it? Like eating a really good meal, where if you try hard enough, you can sti...

1 points•dhruv3006•5 days ago•0 comments•

#type #stronger #components #sum #type stronger #appreciated #written #ever

0 comments

No comments yet.

Related stories

A Type Stronger than the Sum of its Componentsschneems.com
Lobsters · 13 points · 5 days ago
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
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosisarxiv.org
Lobsters · 6 points · about 9 years ago
Your Type Guard Can Silently Drift from Your TypeScript Type 🔧dev.to
DEV Community · 72 points · 8 days ago
Show HN: AttaLambda: a language where types and data are made of untyped lambdasattalambda.com
Hacker News · 47 points · 16 days ago