summaryrefslogtreecommitdiff
path: root/1415/fp2/week3/mart/NotatieDynamics.icl
diff options
context:
space:
mode:
authorCamil Staps2016-02-02 19:24:50 +0100
committerCamil Staps2016-02-02 19:24:50 +0100
commita7d7542dc646a5fd124ef71e71ce260889f1701b (patch)
tree04ed89503bbb3cc9933273a1326a53ca724c3492 /1415/fp2/week3/mart/NotatieDynamics.icl
parentweek6 camil: working positioning of lines by putting empties at left and righ... (diff)
Moved to 1415 directoryHEADmaster
Diffstat (limited to '1415/fp2/week3/mart/NotatieDynamics.icl')
-rw-r--r--1415/fp2/week3/mart/NotatieDynamics.icl25
1 files changed, 25 insertions, 0 deletions
diff --git a/1415/fp2/week3/mart/NotatieDynamics.icl b/1415/fp2/week3/mart/NotatieDynamics.icl
new file mode 100644
index 0000000..da90675
--- /dev/null
+++ b/1415/fp2/week3/mart/NotatieDynamics.icl
@@ -0,0 +1,25 @@
+module NotatieDynamics
+
+import StdEnv
+import StdDynamic, StdDynamicFileIO
+
+Start = f4 f3
+
+f1 :: Int Int -> Int
+f1 (x :: Int) y = x + y
+
+f2 :: Bool a a -> a
+f2 (b :: Bool) (e1 :: a) (e2 :: a) = dynamic if b e1 e2 :: a
+
+f3 :: [Int]
+f3 = dynamic map fib [1 ..]
+
+fib 0 = 1
+fib 1 = 1
+fib n = fib (n-1) + fib (n-2)
+
+f4 :: [Int] -> [Int]
+f4 (xs :: [Int]) = take 10 xs
+
+f5 :: [Int] -> [Int]
+f5 = f4 f3