Functions In - Fictions Out
Last Saturday marked the first occurrence of the CPPP, the first ever conference dedicated to C++ on the French soil, organized by Frédéric Tingaud and Joel Falcou. It was one of the lucky to be there for this very first edition, and it was quite an special moment to experience the birth of what promises... Continue Reading
The post of Eric Niebler on standard ranges and the answer post of Aras (Modern C++ lamentations) generated quite a lot of heat in the C++ community lately. The discussion it triggered was quite interesting, with amazing answers such as the one of Ben Deane, but no answer was as intriguing to me as the... Continue Reading
If we succeed in this task, we will have succeeded in building what easily qualifies as one of the world most wasteful way to random shuffle. We now have a stupid task to do, and a perfect architecture to do it. We just miss the perfect language for the task It is quite astonishing... Continue Reading
It is 10 in the morning. Approaching at 2 o clock, a feature demo. We are supposed to show some of last developments on one of the newest micro-service of the platform. The code worked nice before. We did not touch the implementation of the service since the last tests. There is no reason why it... Continue Reading
This post is an answer to the C++ blog post How to Use Tag Dispatching In Your Code Effectively. I read the article, its main example and the guideline it delivers, and I am not convinced it really works. This blog post aims at expressing my thoughts, offer an alternative simpler way to solve the... Continue Reading
Generalized Algebraic Data Types gives us the power to develop type-safe Free Monads, without having to rely on continuation passing style when using simple Algebraic Data Types. The resulting Abstract Syntax Tree acts as easy to understand specifications for the interpreters of the language it defines. In today s post, we will revisit the first... Continue Reading
This short post is an answer to the following question asked on r/haskell. The original question is about how to test code that lives in a Monad class with polymorphic functions. I highly encourage you to read the post. Its different answers are full of technical gems which we are not going to explore here... Continue Reading
In today s post, we will be advising against storing back-pointers in objects. This is something that we can find in our code, and which unfortunately leads to bugs, decreased performance, code that is harder to reason about and cannot be used in generic algorithms such as the STL ones. We will first describe these numerous... Continue Reading
In the previous post, we introduced IdrisPipes, a library for composable and effectful production, transformation and consumption of streams of data in Idris. We talked about the motivations behind this library, its API and its model, and some of the features it offers. In this post, we will embark in a journey from the basics... Continue Reading
We will continue our series on post on Idris, by implementing a pipe library for Idris, inspired by the great Haskell pipes and Haskell conduit libraries. The goal is to provide Idris with a library for composable and effectful production, transformation and consumption of streams of data. In short, IdrisPipes is an Idris package that... Continue Reading