week5/camil/Origami.icl

   1 module Origami
   2
   3 import StdEnv
   4
   5 /*Start                 = and
   6                                   [ sum`       [1 .. 5]                 == sum       [1 .. 5]
   7                                   , prod`      [1 .. 5]                 == prod      [1 .. 5]
   8                                   , flatten`   [[],[1],[1,2],[1,2,3]]   == flatten   [[],[1],[1,2],[1,2,3]]
   9                                   , reverse`   [1 .. 5]                 == reverse   [1 .. 5]
  10                                   , takeWhile` ((<>) 0) [1,2,3,0,4,5,6] == takeWhile ((<>) 0) [1,2,3,0,4,5,6]
  11                                   , maxList`   [1 .. 5]                 == maxList   [1 .. 5]
  12                                   ]*/
  13 Start = takeWhile` ((<>) 0) [1,2,3,0,4,5,6]
  14
  15 sum`                    = foldr (+) 0
  16 prod`                   = foldr (*) 1
  17 flatten`                = foldr (++) []
  18 length`                 = foldl (\l e = l + 1) 0
  19 reverse`                = foldl (\xs x = [x:xs]) []
  20 takeWhile` p            = foldr (\x xs = if (p x) [x:xs] xs) []
  21 maxList` []             = undef
  22 maxList` [x:xs]         = foldr max x xs