Monad Laws Must Be Checked

Point-free or Die - Tacit Programming in Haskell and Beyond

Core idea driving and defining OO: using dynamic polymorphism to invert key architectural dependencies

Monad as Functor with Pair of Natural Transformations

Robert Martin on TDD proof

Natural Transformations

Functor Laws

Compositionality and Category Theory - a montage of slides/transcript for sections of Rúnar Bjarnason's 'Scala eXchange 2017' keynote: "Composing Programs"

Arrive at monads by going from composition of pure functions to composition of effectful functions

The Open-Closed Principle - the Original Version and the Contemporary Version

OO Inheritance - Not Always Evil - Refactoring to Open-Closed with Inheritance

Understanding Java 8 Lambdas and Streams - Part 1 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions

Blank Test PDF