From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Tue, 2 Feb 2016 19:24:50 +0100 Subject: Moved to 1415 directory --- files/practicum/BinTreeMapEnFold.icl | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 files/practicum/BinTreeMapEnFold.icl (limited to 'files/practicum/BinTreeMapEnFold.icl') diff --git a/files/practicum/BinTreeMapEnFold.icl b/files/practicum/BinTreeMapEnFold.icl deleted file mode 100644 index c74a454..0000000 --- a/files/practicum/BinTreeMapEnFold.icl +++ /dev/null @@ -1,34 +0,0 @@ -module BinTreeMapEnFold - -import StdEnv - -:: BTree a = Tip a | Bin (BTree a) (BTree a) - -testboom = Bin (Bin (Bin (Tip 1) (Tip 2)) (Tip 3)) (Bin (Bin (Tip 4) (Tip 5)) (Bin (Tip 6) (Bin (Tip 7) (Tip 8)))) - -mapbtree :: (a -> b) (BTree a) -> BTree b -mapbtree f (Tip a) = Tip (f a) -mapbtree f (Bin t1 t2) = Bin (mapbtree f t1) (mapbtree f t2) - -foldbtree :: (a a -> a) (BTree a) -> a -foldbtree f (Tip a) = a -foldbtree f (Bin t1 t2) = f (foldbtree f t1) (foldbtree f t2) - -f1 :: // meest algemene type -f1 = foldbtree (+) - -f2 :: // meest algemene type -f2 = foldbtree (+) o (mapbtree (const 1)) - -f3 :: // meest algemene type -f3 = foldbtree (\x y -> 1 + max x y) o (mapbtree (const 0)) - -f4 :: // meest algemene type -f4 = foldbtree (++) o (mapbtree (\x -> [x])) - -Start :: (Int,Char,Int,Char,Int,Char,[Int],Char) -Start = (f1 testboom, '\n' - ,f2 testboom, '\n' - ,f3 testboom, '\n' - ,f4 testboom, '\n' - ) -- cgit v1.2.3