Este es un ejemplo simple de cómo enriquecer los diseños tácticos de DDDesign con elementos funcionales.
Se presenta la aplicación de:
- ADT
- Phantom typing
- Type classes
- Lenses
- Kleisli
- Monoid
- Monad transformers
Por terminar:
- Free monad
- Dependent types
- Applicative functors