concretion

Jul 22 2025

Four ways of declaring interfaces in Haskell

marcoshplace

When we think about interfaces in software development, it’s easy that our thoughts go the interface keyword used in many Object-Oriented languages like Java and C#. But interfaces are a much more general concept, and they could be defined as: an interface is a shared boundary across which...

concretion decoupling free interfaces record haskell monad post typeclass gadt abstraction

Jul 09 2025

Decoupling from dependencies

marcoshplace

When we are writing our beautiful code we often need to deal with dependencies, might they be tools, libraries, or simply other code we wrote some time ago. Choosing to use a dependency usually comes with its own set of tradeoffs and constraints. For example using a relational or a...

concretion decoupling haskell monad dependency post abstraction