14: Dynamic and Static Languages

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