Agentic Coding and the Design Space You Don't See
Agentic coding makes software production cheaper, but understanding the design space behind a large system remains the bottleneck.
Types as Propositions in Typescript
Propositions as types correspondance (PAT) (or Types as Propositions) is one of the most intriguing discoveries of Computer Science. The…
Algebraic Effects: from Algebra to Programs
Some time ago I wrote a series about Algebraic effects. I explained then that you could either explain the topic using Math concepts…
A simple rule for using callbacks in React
In this post I assume you know React and the Hooks API. I also assume a basic knowledge about render and commit phases in Concurrent mode…
The Category of continuations
Take a simple FP language without polymorphism, just monomorphic types, functions and products. It's well known that this language can be…
Write a CSV Parser
Some time ago, I wrote a tutorial about parser combinators. The tutorial shows ho we can, with a few primitive parsers (e.g. for text and…
Typing Optics (5): Lens Proxies
OK, continuing my hack to make my focused lens library definetely typed. So far, I have type definitions for base typeclasses/interfaces…
Typing Optics (4): Getters and Const
This is the 4th post documenting my tentative to add typings to my focused lens library. So far, I have type definitions for base…
Typing Optics (3): Isomorphisms and Prisms
This is the 3rd post documenting my tentative to add typings to my focused lens library. So far, I've been able to add type definitions for…
Typing Optics (2): Traversals
Last post I wrote about my first tentatives to add typings to my focused lens library. I explained the main issue was the lack of Higher…
Typing Optics with TypeScript
I remember my first attempts to learn Optics started long time ago, I stopped on basic things due to the lack of good resources at the…
Algebraic Effects in JavaScript part 4 – Implementing Algebraic Effects and Handlers
This is the final part of a series about Algebraic Effects and Handlers. Part 1 : continuations and control transfer Part 2 : Capturing…
Algebraic Effects in JavaScript part 3 – Delimited Continuations
This is the third part of a series about Algebraic Effects and Handlers. Part 1 : continuations and control transfer Part 2 : Capturing…
Algebraic Effects in JavaScript part 2 – Capturing continuations with Generators
This is the second part of a series about Algebraic Effects and Handlers. Part 1 : continuations and control transfer Part 2 : Capturing…
Algebraic Effects in JavaScript part 1 – continuations and control transfer
This is the first post of a series about Algebraic Effects and Handlers. There are 2 ways to approach this topic: Denotational: explain…
Gentle introduction to Parser Combinators
In this tutorial we're going to build a set of parser combinators. What is a parser combinator? We'll answer the above question in 2 steps…