This talk is my slightly expanded version of that statement, and should hopefully understand what "Free" is, what purpose it serves and where it came from.
The talk explores the recursive structure of Diamond Architecture.
I propose that we can extend Mirrors to operations, and use the most natural DSL of all - plain trait definitions.
In this beginner-friendly talk we'll try to find out using the power of Scala and functional programming techniques.
Let's write a game in Scala Native, for Playdate!