Functional Programming Study Group Week 4
We started the new course, part two on Coursera this week. We revisit some of the lectures of the last course along with the concepts of partial functions & pattern matching anonymous functions.
This week, we had for expressions and monads to focus on. We experienced new ways of modeling polymorphic computations using monads, and also how to utilise them inside for expressions.
We also discussed monad laws and what it takes to be a monad and proved that some monads satisfy monad laws by using substitution.
Next week, we will work on lazy evaluation and try to control state & side effects better.
See you on Jan. 21th!