AsmGofer is an extension of TkGofer. TkGofer is an extension of
Gofer in order to support graphical user interfaces. Gofer is a
subset of Haskell.
AsmGofer can be viewed as TkGofer with a notion
of state. You can declare dynamic functions and redefine them
during execution. Here is one example:
...
? f 3
5
(7 reductions, 16 cells)
? fire1 (f 3 := 1)
1 steps
(28 reductions, 49 cells)
? f 3
1
(7 reductions, 16 cells)
?
A dynamic function behaves like a "normal" function. You can use it
in any expression. Updating of dynamic functions is only allowed
on the level the "Rule" monad in order not to get into troubles.
More information on AsmGofer can be found at:
http://www.uni-ulm.de/~s_jschmi/AsmGofer
