Show notes
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 TroconisAndrew NewmanDerek MorrOlov JohanssonShow Notes:Philip Wadler Talk: https://www.infoq.com/presentations/category-theory-propositions-principleDenotational Design Scott Wlaschin Poker Implementationhttps://exit.sc/?url=https%3A%2F%2Ffsharpforfunandprofit.com%2Fddd%2FConal Elliot presentation on Denotational Designhttps://www.youtube.com/watch?v=bmKYiUOEo2AOur recomendation for a DDD bookhttps://www.amazon.com/Patterns-Principles-Practices-Domain-Driven-Design/dp/1118714709