fp2/week3/mart/NotatieDynamics.icl

   1 module NotatieDynamics
   2
   3 import StdEnv
   4 import StdDynamic, StdDynamicFileIO
   5
   6 Start = f4 f3
   7
   8 f1 :: Int Int -> Int
   9 f1 (x :: Int) y = x + y
  10
  11 f2 :: Bool a a -> a
  12 f2 (b :: Bool) (e1 :: a) (e2 :: a) = dynamic if b e1 e2 :: a
  13
  14 f3 :: [Int]
  15 f3 = dynamic map fib [1 ..]
  16
  17 fib 0 = 1
  18 fib 1 = 1
  19 fib n = fib (n-1) + fib (n-2)
  20
  21 f4 :: [Int] -> [Int]
  22 f4 (xs :: [Int]) = take 10 xs
  23
  24 f5 :: [Int] -> [Int]
  25 f5 = f4 f3