Free Monads: from the basics to composable and effectful stream processing
Let’s embark in a journey, from Free Monad basics to more advanced examples such as stream processing as done in IdrisPipes.
Recent Posts
IdrisPipes: a library for composable and effectful stream processing in Idris
Our goal here is to provide Idris with a library for composable and effectful production, transformation and consumption of streams of data.
Why template parameters of dependent type names cannot be deduced, and what to do about it
C++ template parameters of dependent type names cannot be deduced. Let’s see why C++ cannot do much better considering its type system and some basic maths.
Transforming data structures into types: an introduction to dependent typing and its benefits
A showcase of how dependent typing can help both to increase type-safety and reduce to zero the cost of change when introducing type-safety in legacy code.
Monoids: what they are, why they are useful, and what they teach us about software
Monoids are a pretty interesting concept in software development. Monoids are everywhere. Monoids are simple yet powerful. And Monoids have a lot to teach us...
List Monad connection with Non-deterministic Polynomial time complexity
A problem is in NP if it can be solved by an algorithm that runs in polynomial time on a non-deterministic Turing Machine, a computer that can “guess” which ...