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...
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 base typeclasses/interfaces (Functor and...