Start haskell zipper

LLeeaarrnn yyoouu aa HHaasskkeellll ffoorr GGrreeaatt GGoooodd!! ZZiippppeerr13年1月20日日曜日

WWhhoo?? •･島崎抄子 •･ @@sshhookkooss •･ ccyybbeerraaggeenntt13年1月20日日曜日

IInnttrroodduuccttiioonn TTrreeee →要素を気軽に変更 FFiillee SSyysstteemm →ファイルの操作13年1月20日日曜日

TTrreeee13年1月20日日曜日

TTrreeee data Tree a = Empty | Node a (Tree a) (Tree a) deriving (Show)13年1月20日日曜日

TTrreeee GGOOAALL::WW→PP13年1月20日日曜日

freeTree :: Tree Char TTrreeee freeTree = Node P (Node O (Node L (Node N Empty Empty) (Node T Empty Empty) ) (Node Y (Node S Empty Empty) (Node A Empty Empty) ) ) (Node L (Node W (Node C Empty Empty) (Node R Empty Empty) ) (Node A (Node A Empty Empty) (Node C Empty Empty) ) )13年1月20日日曜日

TTrreeee RRiigghhtt→LLeefftt→PP changeToP :: Tree Char -> Tree Char changeToP (Node x l (Node y (Node _ m n) r)) = Node x l (Node y (Node P m n ) r)13年1月20日日曜日

TTrreeee 進路をリストで指定→要素をPP data Direction = L | R deriving (Show) type Directions = [Direction] changeToP :: Directions -> Tree Char -> Tree Char changeToP (L:ds) (Node x l r) = Node x (changeToP ds l) r changeToP (R:ds) (Node x l r) = Node x l (changeToP ds r) changeToP [] (Node _ l r) = Node P l r13年1月20日日曜日

TTrreeee 確認用目的地の要素を返す関数 elemAt :: Directions -> Tree a -> a elemAt (L:ds) (Node _ l _) = elemAt ds l elemAt (R:ds) (Node _ _ r) = elemAt ds r elemAt [] (Node x _ _) = x13年1月20日日曜日

TTrreeee 要素の更新を、何度も効率よくできるよう部分木から近場の部分木へ切り替えたい！13年1月20日日曜日

TTrreeee 道しるべを残す BBrreeaaddccrruummbbに辿った方向�を追加 type Breadcrumbs = [Direction] goLeft :: (Tree a, Breadcrumbs) -> (Tree a, Breadcrumbs) goLeft (Node _ l _, bs) = (l, L:bs) goRight :: (Tree a, Breadcrumbs) -> (Tree a, Breadcrumbs) goRight (Node _ _ r, bs) = (r, R:bs)13年1月20日日曜日

TTrreeee ( Node A (Node A Empty Empty) (Node C Empty Empty) , [R, R] ) :: (Tree a, Breadcrumbs)13年1月20日日曜日

TTrreeee 1133章で定義した x -: f = f x を使い美�しく書ける ghci> goLeft (goRight (freeTree, [])) ! ghci> (freeTree, []) -: goRight -: goLeft 実行結果： (Node W (Node C Empty Empty) (Node R Empty Empty),[L,R])13年1月20日日曜日

TTrreeee 木の情報すべてを持ちたい！！！！13年1月20日日曜日

TTrreeee 辿らなかった部分木の情報も残す data Crumb a = LeftCrumb a (Tree a) | RightCrumb a (Tree a) deriving (Show) type Breadcrumbs a = [Crumb a] goLeft :: (Tree a, Breadcrumbs a) -> (Tree a, Breadcrumbs a) goLeft (Node x l r, bs) = (l, LeftCrumb x r:bs) goRight :: (Tree a, Breadcrumbs a) -> (Tree a, Breadcrumbs a) goRight (Node x l r, bs) = (r, RightCrumb x l:bs)13年1月20日日曜日

TTrreeee 情報がある→上へ戻れる！ goUp :: (Tree a, Breadcrumbs a) -> (Tree a, Breadcrumbs a) goUp (t, LeftCrumb x r:bs) = (Node x t r, bs) goUp (t, RightCrumb x l:bs) = (Node x l t, bs)13年1月20日日曜日

TTrreeee TTrreeee aa と BBrreeaaddCCrruummbbのペアは、元の木の状態を持ちつつ、どの部分木に注目しているのかわかる！ ZZiippppeerrで定義 type Zipper a = (Tree a, Breadcrumbs a)13年1月20日日曜日

TTrreeee 注目している部分木のルートの書き換えができる modify :: (a -> a) -> Zipper a -> Zipper a modify f (Node x l r, bs)=(Node (f x ) l r, bs) modify f (Empty, bs) = (Empty, bs)13年1月20日日曜日

TTrreeee LLeefftt→RRiigghhtt→PPに要素を変更のあとに、ひとつ上の要素をXXに変更したい！ ghci> let newFocus = (freeTree, []) -: goLeft -: goRight -: modify (_ -> P) ghci> let newFocus2 = newFocus -: goUp -: modify (_ -> X)13年1月20日日曜日

TTrreeee 注目している部分木の置き換えもシンプルなコードでできる attach :: Tree a -> Zipper a -> Zipper a attach t (_, bs) = (t, bs)13年1月20日日曜日

TTrreeee トップへ戻る ggooUUppを、道しるべがなくなるまで再帰 topMost :: Zipper a -> Zipper a topMost (t, []) = (t, []) topMost z = topMost (goUp z)13年1月20日日曜日

LLiisstt LLiissttをZZiippppeerrに！（注目している要素、辿ってきた要素）13年1月20日日曜日

LLiisstt LLiissttもZZiippppeerrで作ってみる！ type ListZipper a = ([a], [a]) goForward :: ListZipper a -> ListZipper a goForward (x:xs, bs) = (xs, x:bs) goBack :: ListZipper a -> ListZipper a goBack (xs, b:bs) = (b:xs, bs)13年1月20日日曜日

FFiillee SSyysstteemm13年1月20日日曜日

FFiillee SSyysstteemm type Name = String type Data = String data FSItem = File Name Data | Folder Name [FSItem] deriving (Show) FFiillee・・・名前がついていて、データが入�っている FFoollddeerr・・・名前がついていて、複数のファイルやフォルダをアイテムとして含む13年1月20日日曜日

myDisk = Folder "root" [File "goat_yelling_like_man.wmv" "baaaaaa" FFiillee SSyysstteemm , File "pope_time.avi" "god bless" , Folder "pics" [File "ape_throwing_up.jpg" "bleargh" , File "watermelon_smash.gif" "smash!!" , File "skull_man(scary).bmp" "Yikes!" ] , File "dijon_poupon.doc" "best mustard" , Folder "programs" [File "fartwizard.exe" "10gotofart" , File "owl_bandit.dmg" "mov eax, h00t" , File "not_a_virus.exe" "really not a virus" , Folder "source code" [File "best_hs_prog.hs" "main = print (fix error)" , File "random.hs" "main = print 4" ] ] ]13年1月20日日曜日

Folder1 Folder2 File1 File2 File3 Folder3 FFiilleeは空の木のようなもの13年1月20日日曜日

FFiillee SSyysstteemm data FSCrumb = FSCrumb Name [FSItem] [FSItem] deriving (Show) NNaammee::親フォルダ名 [[FFSSIItteemm]]::前のアイテムのリスト　 [[FFSSIItteemm]]::後ろのアイテムのリスト type FSZipper = (FSItem, [FSCrumb]) （注目しているアイテム、道しるべのリスト）13年1月20日日曜日

注目：FFoollddeerr11 前のアイテム： Folder1 FFoollddeerr22の情報等後ろのアイテム::なし Folder2 File1 File2 File3 Folder313年1月20日日曜日

FFiillee SSyysstteemm 上の階層に行く fsUp :: FSZipper -> FSZipper fsUp (item, FSCrumb name ls rs:bs) = (Folder name (ls ++ [item] ++ rs), bs) 注目しているアイテムを、前のアイテムに移す13年1月20日日曜日

注目：FFoollddeerr11 Folder1 前のアイテム：FFiillee22の情報等後ろのアイテム::なし Folder2 File1 File2 File3 Folder3 注目：FFoollddeerr22 前のアイテム：FFiillee33の情報等後ろのアイテム::FFoollddeerr11の情報等13年1月20日日曜日

FFiillee SSyysstteemm 注目しているIItteemmを変更 fsTo :: Name -> FSZipper -> FSZipper fsTo name (Folder folderName items, bs) = let (ls, item:rs) = break (nameIs name) items in (item, FSCrumb folderName ls rs:bs) nameIs :: Name -> FSItem -> Bool nameIs name (Folder folderName _) = name == folderName nameIs name (File fileName _) = name == fileName13年1月20日日曜日

FFiillee SSyysstteemm RReennaammee fsRename :: Name -> FSZipper -> FSZipper fsRename newName (Folder name items, bs) = (Folder newName items, bs) fsRename newName (File name dat, bs) = (File newName dat, bs)13年1月20日日曜日

FFiillee SSyysstteemm NNeewwFFiillee fsNewFile :: FSItem -> FSZipper -> FSZipper fsNewFile item (Folder folderName items, bs) = (Folder folderName (item:items), bs)13年1月20日日曜日

MMaayybbee!!!!!! goLeft :: Zipper a -> Maybe (Zipper a) goLeft (Node x l r, bs) = Just (l, LeftCrumb x r:bs) goLeft (Empty, _) = Nothing goRight :: Zipper a -> Maybe (Zipper a) goRight (Node x l r, bs) = Just (r, RightCrumb x l:bs) goRight (Empty, _) = Nothing goUp :: Zipper a -> Maybe (Zipper a) goUp (t, LeftCrumb x r:bs) = Just (Node x t r, bs) goUp (t, RightCrumb x l:bs) = Just (Node x l t, bs) goUp (_, []) = Nothing13年1月20日日曜日

http://makopi23.blog.fc2.com	69
https://twitter.com	27
http://control.blog.fc2.com	12
http://webcache.googleusercontent.com	1

Start haskell zipper

by Shoko Sasaki on Jan 19, 2013

Accessibility

Upload Details

Usage Rights

4 Embeds 109

Statistics

Start haskell zipper Presentation Transcript