Domain Driven Design (DDD)

• Code design should be understandable to non developers
• Communicate design in the code
• Types are for type checking and as domain modelling tool (“a good static type system is like having a compile-time unit tests” - Scott Wlaschin)

Agile - rapid feedback during design phase.