State Monad笔记一
Posted on 二月 25th, 2010 in 笔记 | 2 Comments »
去年听王猫猫讲过之后就一直心安理得再也没看过Monad，以至于到昨天还不知State Monad为何物…囧
关于State Monad，似乎见过的教材都是拿随机数作例子，拿Monad跟一堆let对比，满眼的二元组绕啊绕啊，我给你个Monad让它不那么绕（存疑）～其实什么东西理解不了，往往就是因为不知道它怎么用（比如复变函数 =”=）
换个例子，像那个筛掉一个List中重复元素的nub函数多好….在命令式语言下边大约是这样：
def nub(xs) result=[] for x in xs if not result.include? x result << x return result
若在函数式语言下边，用迭代大约是这样：
inub :: (Eq a) => [a] -> [a] inub = inub' [] inub' rs [] = rs inub' rs (x:xs) | x `elem` rs = inub' rs xs | otherwise = inub' (rs++[x]) xs
inub’这个函数中有个rs参数，就相当于前面那个result变量。它的值会随着迭代发生改变，不同之处就是ts是引用透明的没有副作用。每次函数调用就是一个状态，状态就是一个值。
不喜欢给函数多加个参数怎么办？State Monad可以做到。在State Monad里面有两个函数可以使用：put，设置当前状态的值；get，获得当前状态的值。就相当于给函数加了一个（只有一个）可变的全局变量，在调用别的函数或者递归时这个值可以保留。
State Monad版本（我没觉得好看 =”=）：
mnub :: (Eq a) => [a] -> [a] mnub xs = evalState (mnub' xs) [] mnub' [] = get mnub' (x:xs) = do { rs <- get; if x `elem` rs then (do { mnub' xs; }) else (do { put $ (rs++[x]); mnub' xs; }); }
原理大约就是do-notation中的每个语句都是用一个wrapper的类型包起来再不断往下传递么，而State的wrapper就是个类型为(a,s)的二元组（外加一层lambda？），每个语句的返回值放到s里，那个全局的值则放在a里…具体还有点迷糊，哪天推导下再说好了 >_<
FeedBurner