Polysemy: EffectRow design
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
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
In my previous log I have tackled Conway's Game Of Life. In conclusion, I have stated that we could implement the full kata (i.e. even the grid) witho… ...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 Zull, the inventor of Software Teaming, with the Software Crafters Lyon. I have encountered the same topic at… ...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. Thie year I have participated to the one o… ...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