Domain Driven Design is essentially applied category theory:
You develop a language that models your domain, translate that into a diagram, and translate that diagram into code.
(Okay, actually topos theory since you’re going between type theories and diagrams — but you use the diagrams to move between type theories and define “equivalent structure”.)
You develop a language that models your domain, translate that into a diagram, and translate that diagram into code.
(Okay, actually topos theory since you’re going between type theories and diagrams — but you use the diagrams to move between type theories and define “equivalent structure”.)