In my last log we defined the Trace effect: {-# LANGUAGE TemplateHaskell #-} module EffectDefinitionIntro ( Trace (..), trace, ) where impor… ...more

In the first log we explained that in the expression: displayFile :: FilePath -> Sem '[Trace, Embed IO] Int displayFile path = do trace $ &qu… ...more

Previous log introduced EffectRow. It could be tempting to create a type and apply it everywhere in the codebase as follows: type AppEffects = '[T… ...more

As seen in the previous log we ended up with: import Polysemy import Polysemy.Trace displayFile :: FilePath -> Sem '[Trace, Embed IO] Int disp… ...more

As seen in the previous log we have an expression as follows: import Polysemy import Polysemy.Trace displayFile :: FilePath -> Sem '[Trace, Em… ...more

I used to teach functional programming using Haskell in an engineering. I was starting my course by defining functional programming being defined by t… ...more

There is a famous code kata used during Global Days of Code Retreat called Conway's Game Of Life. It has four rules: Any live cell with fewer than tw… ...more

I learned a lot during my Hacktoberfest participation, especially how I like my contributions to be handled. Here are some guidelines: Write clear is… ...more

Few weeks ago, I had a meetup with Woody Zuill, the inventor of Software Teaming, with the Software Crafters Lyon. I have encountered the same topic a… ...more

Following my Hacktoberfest participation, I had the chance to have a variety contribution of experiences. Pendings PRs I'm always a bit sad whenever m… ...more

A while ago, I have the chance to kick-start a new project, our product owner just finished presenting his that one of my colleague started to decide … ...more

This year I decided to contribute a lot to Hacktoberfest for three main reasons: I wanted to give back to the community I wanted to change my contrib… ...more

When it comes to programming languages, there is a famous quote: "A language that doesn't affect the way you think about programming, is not wor… ...more

In my last session of the GDCR, during the Red phase I ended up with this test: spec :: Spec spec = describe "SpaceX" $ do describe &q… ...more

Last week I was watching Mauro Servienti - All Our Aggregates Are Wrong. At some point he stated that users tend to think in terms of data. I had a fe… ...more

As every year, the Global day of code retreat is a good excuse to work and rework the same kata a full day. This year I have attended to the one organ… ...more

As every year, the Global day of code retreat is a good excuse to work and rework the same kata a full day. This year I have attended to the one organ… ...more

I am to start a short web log (aka blog/microblog) in order to share some insight I get in my day-to-day work/practice. I'll mainly talk about about: … ...more