Nikita Volkov bio photo

Nikita Volkov

Email Twitter LinkedIn Github Stackoverflow

Recent Posts

Internal convention is a mistake

In this post I’m gonna highlight the issues of the “Internal” modularisation convention and provide a proper solution to the same set of problems.

First-class sums and products

Today I’m announcing the “compound-types” library. This library provides first-class multi-arity product- and sum-types and neat type-level utilities for the...

Announcing the refinement types library

Have you ever looked for a numeric type with a zero to hundred range to describe percentage? Maybe a zero to one to describe a proper fraction of something? ...

Announcing the first class records library

Today I’m releasing the “record” library, which is an API of just two quasi-quoters, providing a full-scale solution to the notorious records problem of Hask...