Tech Talk: Domain Driven Design meets Functional Programming
CoRecursive: Coding Stories
00:00
The Power of the Type System
The trick is that you can, you can use the power of the type system in order to ensure that invalid abstractions are never instantiated. Howget you have an examplea right now on remember any example. So atosma to me, it's just just where i live when when i open up my idea. An interesting i's something i really liked in your book, a which i had heard of before, but but hadn't really quite understood, is a phantom types. I if you could explain phantom types,.
Transcript
Play full episode
