[Haskell-cafe] Using Backpack for initial and final encodings
dave.laing.80 at gmail.com
Thu Mar 15 05:51:09 UTC 2018
Ed Kmett recently pointed me towards his usage of Backpack to write some
code in the tagless final style, and I've been playing with it and riffing
on it for a while. There's a solution to the expression problem in there
involving classy Prisms (and now Backpacky Prisms) that seems pretty neat.
I've written it up here:
Hopefully some of you find it interesting.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe