1673068221

Wyposażmy użytkownika w jakieś narzędzia operujące na tym liczniku:

fetch :: IntState Int

fetch = IntState (\n -> (n, n))

assign :: Int -> IntState () assign n = IntState (\_ -> (n, ()))

run :: Int -> IntState a -> a run n (IntState st) = snd $ st n

renumber :: Tree -> Tree renumber = run 0 . aux where

aux :: Tree -> IntState Tree aux Leaf = return Leaf

aux (Node tl _ t2) = aux tl »= \tl’ -> (fetch »=

\n -> (assign (n+1)) » \() -> (aux t2 »=

\t2’ -> return (Node tl

Powyższy zapis jest bardzo nieczytelny. Mamy taki oto cukier: do

ei

p*-e 2 let p = e3

do

x ■*- e\

ei

jest tym samym co

e\ »= (A x -*■ e-i)

jest tym samym co    e\ »= (A _ e2)

Przepiszmy renumber używając powyższego cukru syntaktycznego:

renumber = run 0 . aux where aux Leaf = return Leaf aux (Node tl _ t2) = do tl’ <- aux tl n <- fetch assign (n+1) t2’ <- aux t2 return (Node tl’ n t2’)