I propose that we can extend Mirrors to operations, and use the most natural DSL of all - plain trait definitions.
In this talk, we’ll show first the different techniques we can use to apply constraints is our domains. Then, we’ll present Iron, its features, extensions, and integrations. We’ll finish by showcasing a fully integrated constraint-enforcing app.
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.
Let's write a game in Scala Native, for Playdate!