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