Blog posts

Introduction to property-based testing

Verify assumptions about your code.

Property-based testing is a testing paradigm supporting regular example-based unit tests. In the Pragmatic Programmer book, the authors…

Introduction to composable optics with monocle-ts

With io-ts, Elvis and Metallica.

Optics are a functional programming toolbox for zooming into nested data structures. They are designed for composability, allowing you to…

Covariance and contravariance in generic types

With Python and corgis.

Static typing is awesome. It helps to detect bugs, acts as in-code documentation and makes development more enjoyable. Recently I've started…

Using fp-ts for HTTP requests and validation

How to use TaskEither, flow and pipe for smooth pipelines.

fp-ts is a great TypeScript library for functional programming. I haven't found that many real world usage examples out there, so I thought…