This paper is absolutely brilliant. The overlapping parts make me very uneasy, but I just focus on the parts about Free and Coproduct, which are amazing.
I always found this paper to be a moment of awakening in my Haskell journey—it was the first non-trivial type-prolog programming I both understood and wanted to use.
But it turns out that I almost never use the technique actually since typeclasses compose better.
This paper is absolutely brilliant. The overlapping parts make me very uneasy, but I just focus on the parts about Free and Coproduct, which are amazing.
I always found this paper to be a moment of awakening in my Haskell journey—it was the first non-trivial type-prolog programming I both understood and wanted to use.
But it turns out that I almost never use the technique actually since typeclasses compose better.