From 6f604b19d3f5966e5c1d7c4fdf3703bd6ff0861c Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 16 Apr 2015 21:22:20 +0200 Subject: update to fp2 yay, public and licence --- fp1/week5/camil/Origami.icl | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 fp1/week5/camil/Origami.icl (limited to 'fp1/week5/camil/Origami.icl') diff --git a/fp1/week5/camil/Origami.icl b/fp1/week5/camil/Origami.icl new file mode 100644 index 0000000..74362a9 --- /dev/null +++ b/fp1/week5/camil/Origami.icl @@ -0,0 +1,24 @@ +module Origami + +import StdEnv + +Start = and + [ sum` [1 .. 5] == sum [1 .. 5] + , prod` [1 .. 5] == prod [1 .. 5] + , flatten` [[],[1],[1,2],[1,2,3]] == flatten [[],[1],[1,2],[1,2,3]] + , reverse` [1 .. 5] == reverse [1 .. 5] + , takeWhile` ((<>) 0) [1,2,3,0,4,5,6] == takeWhile ((<>) 0) [1,2,3,0,4,5,6] + , maxList` [1 .. 5] == maxList [1 .. 5] + ] + +sum` = foldr (+) 0 +prod` = foldr (*) 1 +flatten` = foldr (++) [] +length` = foldl (\l e = l + 1) 0 +reverse` = foldl (\xs x = [x:xs]) [] +takeWhile` _ [] = [] +takeWhile` p xs + | p (xs!!0) = take (maxList [i \\ i <- [0..length xs-1] | foldr (&&) True [p (xs!!j) \\ j <- [0..i]]] + 1) xs + | otherwise = [] +maxList` [] = undef +maxList` [x:xs] = foldr max x xs -- cgit v1.2.3