Tech Talk: Domain Driven Design meets Functional Programming
CoRecursive: Coding Stories
00:00
The Compiler Writes the Test for You.
In scalas, if when you are defining an abstraction, which is which is parametricao type d, you can specify that this type d needs to satisfy this constraint. It has to be a sub type of trading account. So in my case, the compiler will insure that you cannot pass any other type of account or when you are implementing the abstraction. And en ye, this idea actually stems from from the same idea that i was talking about, the theories of algebraic development.
Transcript
Play full episode
