[Haskell-beginners] Re: Hudak state emulation discussion - can you give me some idea?

[Will Ness]

Will Ness <will_n48 <at> yahoo.com> writes:

> infixl 8 +'
> infix  8 <'
> infix  7 :=
> infixl 6 ;              -- infixr is good too
> 
> (p; q) s = q (p s)      -- (;)  = CB  -- flip (.)
> (x:=f) s = x s (f s)    -- (:=) = S
> goto f s = f s          -- id   = I
> (f+'g) s = f s + g s
> (f<'g) s = f s < g s
> if' p c s = if (p s) then (c s) else s
> x' (a,b) = a
> i' (a,b) = b
> 

Er, forgot to include the two state updaters of the article,

x (a,b) v = (v,b)
i (a,b) v = (a,v)