2 ms·
> Completely understanding the types in your program forces you to think carefully about the domain. Isn't it the other way around? Types derived from analysin
by motorest 2y ago
> Completely understanding the types in your program forces you to think carefully about the domain.
Isn't it the other way around? Types derived from analysing the problem domain? That's the basic premise of a bunch of software design techniques.
- boscillator 2y agoYes, understanding comes first and types come second. But being able to comfortably create types for your domain is a good sign you have sufficiently analyzed it.