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...
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 Kinded Types in TypeScript...