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. Most of React hooks...

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 modeled as a category where objects are types and...

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 regular expressions) and combinators, we...

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 (Monoids, Functor and Applicative) Gettings and Getters Isos Lenses...

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 typeclasses/interfaces (Functor and Applicative) Isos Lenses...