Money class design: why not having currencies as type parameters?
A follow up on the study of the ideal design for the Money class, answering an interesting question on Reddit.
Recent Posts
A study of 4 Money class designs, featuring Martin Fowler, Kent Beck and Ward Cunningham designs.
Let’s look at the Money class implementations found in Kent Beck, Martin Fowler and Ward Cunningham work, and propose a new one based on dependent typing.
Implementing Clojure-like Transducers in Idris: advanced transducers
Part 2 of our implementation of transducers in Idris. This time we tackle stateful transducers and transducers with completion steps.
Implementing Clojure-like Transducers in Idris: definitions & concepts
Let’s implement a small transducer-like library in Idris, for efficient and composable algorithmic transformations.
Hexagonal Architecture and Free Monad: Two related design patterns?
In today’s post, we will explore the hexagonal architecture through an example, describe it, and relate it to Free Monads, a well-known and pretty popular pa...
Idris dependent typing challenge: Bowling Kata
Let’s implement an entirely type safe bowling game, where invalid games cannot even be instantiated, and see how it goes and if it is even desirable.