3 ms·
Indeed, and Type-Driven Development is also a thing. Given a great type system and editor/IDE types can even be used to derive implementations.
by Quekid5 5y ago
Indeed, and Type-Driven Development is also a thing.
Given a great type system and editor/IDE types can even be used to derive implementations.