The kind of type system a functional language uses has a large impact on the way you use that language. In this episode we discuss the tradeoffs involved in using a static or dynamic language.
Our patreon sponsors this month:
Javier Troconis
Andrew Newman
Derek Morr
Olov Johansson
Show Notes:
Philip Wadler Talk: https://www.infoq.com/presentations/category-theory-propositions-principle
Denotational Design
Scott Wlaschin Poker Implementation
https://exit.sc/?url=https%3A%2F%2Ffsharpforfunandprofit.com%2Fddd%2F
Conal Elliot presentation on Denotational Design
https://www.youtube.com/watch?v=bmKYiUOEo2A
Our recomendation for a DDD book
https://www.amazon.com/Patterns-Principles-Practices-Domain-Driven-Design/dp/1118714709
