[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 ...

[Veuxdo]

It's rarer these days, but there are still plenty of devs who don't think static types are important.

[drewcoo]

Is it rarer because of all the devs who decided that static types are a substitute for unit tests?

[robertlagrant]

I think the reverse is more common.

[exdsq]

Yeah, check out Type Driven Design with Idris or this presentation https://fsharpforfunandprofit.com/ddd/

[broose_goose]

It’s as opposed to db driven design, or object oriented design