2008-07-13から1日間の記事一覧
ここまではpairwise swapという具体的なもので考えてきたので,こんどは抽象的に攻めてみます.MonaFixのインスタンスのmfixには満たすべき性質があるのでした. -- purity mfix (return . h) = return (fix h) -- left shrinking (or tightening) mfix (\x …
ここまではpairwise swapという具体的なもので考えてきたので,こんどは抽象的に攻めてみます.MonaFixのインスタンスのmfixには満たすべき性質があるのでした. -- purity mfix (return . h) = return (fix h) -- left shrinking (or tightening) mfix (\x …