blob: 9930181e77246265c820200a27f96269a49a6204 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
;; (let map (\[f lst]
;; (match lst
;; [] []
;; (prepend (f (head lst)) (map f (tail lst))))))
;; (map (+ 1) [1 2 3])
;; (let mapinc (\[vec]
;; (match vec
;; [] []
;; (prepend
;; (+ 1 (head vec))
;; (mapinc (tail vec))))))
;; (env)
;; (mapinc [1 2 3])
;; (let fibo (\[n]
;; ;; (let fibo-1 (\[] (fibo (sub2 n 1))))
;; ;; (let fibo-2 (\[] (fibo (sub2 n 2))))
;; (match n
;; 0 0
;; 1 1
;; (+
;; (fibo (- n 1))
;; (fibo (- n 2))))))
;; (fibo 10)
(let foldr (\[f accumulator lst]
(match lst
[] accumulator
(f (foldr f accumulator (tail lst)) (head lst)))))
(foldr + 0 [1 2 3])
|