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.
Free is something I've wanted to understand for quite a while, but could never quite figure it out. I’d essentially given up on it until a friend of mine, known to be particularly fond of pithy statements, told me "Free is merely the defunctionalisation of Monad in its most uncomfortable configuration". He didn’t add "what’s the problem?" but it was clearly implied.
The odd thing though is that after playing with this for a bit, it turned out to be exactly what I needed to hear to get me unstuck.
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.
In my talk I will guide you through a deployment of a complete AI-based web service using Besom, Scala SDK for Pulumi.
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 presentation describes the development of a financial middleware that internationally connects several ERP systems (Navision and SAP) to a cloud-based invoicing solution.