map examples

jiangsy · Jul 12, 2024 · 09908b9 · 09908b9
1 parent efa6f41
commit 09908b9
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/implementation/extra_examples/map1.e b/implementation/extra_examples/map1.e
@@ -0,0 +1,5 @@
+let map :: forall a. forall b. (a -> b) -> [a] -> [b] =
+    /\a. (/\b. (\f -> \xs -> case xs of
+                                [] -> [];
+                                (y : ys) -> f y : map f ys) :: (a -> b) -> [a] -> [b])
+    in map (\x -> 1) (True : False : [])
diff --git a/implementation/extra_examples/map2.e b/implementation/extra_examples/map2.e
@@ -0,0 +1,5 @@
+let map :: forall a. forall b. (a -> b) -> [a] -> [b] =
+    /\a. (/\b. (\f -> \xs -> case xs of
+                                [] -> [];
+                                (y : ys) -> f y : map f ys) :: (a -> b) -> [a] -> [b])
+    in map @(Int \/ Bool) ((\x -> 1) :: (Int \/ Bool) -> Int) ((False : 1 : []) :: [Int \/ Bool])