Tech Talk: Domain Driven Design meets Functional Programming
CoRecursive: Coding Stories
00:00
A Developer Ergonomics Thing
The key thing, i think, you're introducing a type a that doesn't do anything except enforce in the type system a something like implied. The types don't have any business implication. It's there in ordert. Just in order to ensure that the user cannot er pass anything to the abstraction, which is illegal. So the illegal states are, by definition, inadmissible. That's the dis expedito santom pipes, making illegal stipes unrepresentable.
Transcript
Play full episode
