CoRecursive: Coding Stories cover image

Tech Talk: Domain Driven Design meets Functional Programming

CoRecursive: Coding Stories

00:00

Using Type Constraints in Modeling a Domain

Laws are the business rules. The very basness, rules are laws, and they are part of the algebra of the al algebra of the domain. For example, a genericity or parametric poly morphism gives you a tool to make some of these laws verifiable. This is info one of the reasons why i am much more excited about e dependent types.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app