blob: 1d79b37b2c7dc6bf610927d76dc10859d27504ff (
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
(load "../common")
(vtest (let ((f (obtain (for ((i 0)) () ((inc i)) (yield i)))))
(take 2000 (gun (call f))))
(range* 0 2000))
(defun yflatten (obj)
(labels ((flatten-rec (obj)
(cond
((null obj))
((atom obj) (yield-from yflatten obj))
(t (flatten-rec (car obj))
(flatten-rec (cdr obj))))))
(flatten-rec obj)
nil))
(test (let ((f (obtain (yflatten '(a b (c . d) (e (f (g))))))))
(gun [f]))
(a b c d e f g))
(defmacro amb-scope (. forms)
^(block amb-scope ,*forms))
(defun amb (. args)
(suspend amb-scope cont
(each ((a args))
(when (and a (call cont a))
(return-from amb a)))))
(test (amb-scope
(let ((w1 (amb "the" "that" "a"))
(w2 (amb "frog" "elephant" "thing"))
(w3 (amb "walked" "treaded" "grows"))
(w4 (amb "slowly" "quickly")))
(amb (and (eql [w1 -1] [w2 0])
(eql [w2 -1] [w3 0])
(eql [w3 -1] [w4 0])))
(list w1 w2 w3 w4)))
("that" "thing" "grows" "slowly"))
(test (amb-scope
(let ((🍌 [apply amb (range 95795 95805)])
(🍏 [apply amb (range 217510 217520)])
(🍉 [apply amb (range 414555 414570)])
(🍒 [apply amb (range 422470 422485)]))
(amb (= (+ (expt 🍌 4) (expt 🍏 4) (expt 🍉 4))
(expt 🍒 4)))
(list 🍌 🍏 🍉 🍒)))
(95800 217519 414560 422481))
|
