I had a hard time understanding the Matt Might paper, but his lecture on it really helped me. He also motivates it really well.
Somewhere around the 40 minute mark, those definitions of D and δ using define/memoize and define/fix really made my day. :-)
D
δ
define/memoize
define/fix
I had a hard time understanding the Matt Might paper, but his lecture on it really helped me. He also motivates it really well.
Somewhere around the 40 minute mark, those definitions of
Dandδusingdefine/memoizeanddefine/fixreally made my day. :-)