Sun Aug 26 13:08:41 CEST 2007
a state monad is a nice example of a computation. nothing 'happens' as
long as the monad is not executed explicitly by applying the value to
some initial state. i think this is a nice starting point to formalize
what i'm doing, since it's about the same principle: build a
composition that represents the compilation, and execute it on an
so, really, monads are a way to formulate any computation as a
function composition. doesn't that sound familiar?
the thing to find out is
* how my very specialized way of state passing fits in the general
* why does 'map' feel so strange in Joy/KAT ?
* what is a continuation in KAT?
the last one i can answer, i think. it's a function that takes a
stack, and represents the rest of the compuation. so the continuation
of 'b' in [abcd] is just [cd]. i've added call/cc to base.ss
let's re-read von thun's comments