4006 shaares
71 private links
71 private links
Nice musing on how a type system can be a way to tame complexity or at least isolate it explicitly in one place.
Nice musing on how a type system can be a way to tame complexity or at least isolate it explicitly in one place.
