Comment by nefasti

"Our broader goal in writing this up was to illustrate some higher-level TypeScript features and type-driven design patterns in the practical context of modern web development."

Is type-driven design a think? For me it's just development ...