tying-the-knot – Tarik Billa

Tying the Knot with a State monad

August 10, 2023 by Tarik

I’ve been playing around with stuff, and I think I’ve come up with something… interesting. I call it the “Seer” monad, and it provides (aside from Monad operations) two primitive operations: see :: Monoid s => Seer s s send :: Monoid s => s -> Seer s () and a run operation: runSeer :: … Read more

Explanation of “tying the knot”

May 18, 2023 by Tarik

Tying the knot is a solution to the problem of circular data structures. In imperative languages you construct a circular structure by first creating a non-circular structure, and then going back and fixing up the pointers to add the circularity. Say you wanted a two-element circular list with the elements “0” and “1”. It would … Read more