Algebraic Effects and Handlers in under 50 Lines of Ruby
Some people say “effect handlers are the new monads”. So I thought, before all these...
Posted by
Jonathan Immanuel Brachthäuser
on August 31, 2019 ·
21 mins read
The Existential Unapply Trick
Did you ever run into the situation, where you thought you need higher ranked polymoprhism...
Posted by
Jonathan Immanuel Brachthäuser
on July 15, 2019 ·
8 mins read
Even More Lightweight Monadic Regions
Delimiting the lifetime of a resource to a particular scope is a common problem. In...
Posted by
Jonathan Immanuel Brachthäuser
on January 17, 2019 ·
18 mins read
Pointfree, fully annotated
When defining complex functions in pointfree style, I often find myself switching to pointful style....
Posted by
Jonathan Immanuel Brachthäuser
on February 20, 2017 ·
8 mins read
The Hitchhiker's Guide to Morphisms
Since I always keep mixing up the names of morphisms, I finally created a cheat-sheet...
Posted by
Jonathan Immanuel Brachthäuser
on February 21, 2016 ·
10 mins read