syndicate-lang
/
syndicate-rkt
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Separate out narration

This commit is contained in:
Tony Garnock-Jones 2018-10-24 16:14:54 +01:00
parent 84298d5571
commit 22b4f965b9
1 changed files with 33 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

61
syndicate/examples/santa.rkt
View File

@ -21,58 +21,63 @@
(define elf-self (gensym 'elf))
(spawn* #:name elf-self
(let work-industriously ()
(printf "~a working.\n" elf-self)
(sleep (/ (random 1000) 1000.0))
(printf "~a has a problem!\n" elf-self)
(react (assert (elf-has-a-problem elf-self))
(stop-when (asserted (problem-resolved elf-self))
(printf "~a's problem is resolved.\n" elf-self)
(work-industriously))))))
(define (reindeer)
(define reindeer-self (gensym 'reindeer))
(spawn* #:name reindeer-self
(let holiday ()
(printf "~a is on holiday.\n" reindeer-self)
(sleep (/ (random 9000) 1000.0))
(printf "~a has returned from holiday and is ready to deliver toys!\n" reindeer-self)
(react (assert (reindeer-has-returned reindeer-self))
(stop-when (asserted (deliver-toys))
(printf "~a delivers toys with the other reindeer.\n" reindeer-self)
(react
(stop-when (retracted (deliver-toys))
(printf "~a has been dismissed by Santa.\n" reindeer-self)
(holiday))))))))
(react (stop-when (retracted (deliver-toys))
(holiday))))))))
(spawn* #:name 'santa
(define (wait-for-work)
(react
(on-start (printf "Santa is waiting for something to do.\n"))
(define/query-set stuck-elves (elf-has-a-problem $id) id)
(define/query-set returned-reindeer (reindeer-has-returned $id) id)
(stop-when-true (= (set-count (returned-reindeer)) N-REINDEER)
(harness-reindeer))
(stop-when-true (>= (set-count (stuck-elves)) ELF-GROUP-SIZE)
(talk-to-elves (take (set->list (stuck-elves)) ELF-GROUP-SIZE)))))
(react (define/query-set stuck-elves (elf-has-a-problem $id) id)
(define/query-set returned-reindeer (reindeer-has-returned $id) id)
(stop-when-true (= (set-count (returned-reindeer)) N-REINDEER)
(harness-reindeer))
(stop-when-true (>= (set-count (stuck-elves)) ELF-GROUP-SIZE)
(talk-to-elves (take (set->list (stuck-elves)) ELF-GROUP-SIZE)))))
(define (harness-reindeer)
(react
(on-start (printf "Santa does the delivery run!\n"))
(assert (deliver-toys))
(stop-when (retracted (reindeer-has-returned _))
(wait-for-work))))
(react (assert (deliver-toys))
(stop-when (retracted (reindeer-has-returned _))
(wait-for-work))))
(define (talk-to-elves elves)
(match elves
['() (wait-for-work)]
[(cons elf remainder)
(react
(on-start (printf "Santa resolves the problem of ~a.\n" elf))
(assert (problem-resolved elf))
(stop-when (retracted (elf-has-a-problem elf))
(talk-to-elves remainder)))]))
(react (assert (problem-resolved elf))
(stop-when (retracted (elf-has-a-problem elf))
(talk-to-elves remainder)))]))
(wait-for-work))
(for [(i N-ELVES)] (elf))
(for [(i N-REINDEER)] (reindeer))
(spawn #:name 'narrator
(during (elf-has-a-problem $id)
(on-start (printf "~a has a problem!\n" id))
(on-stop (printf "~a's problem is resolved. ~a returns to work.\n" id id)))
(on (asserted (reindeer-has-returned $id))
(printf "~a has returned from holiday and is ready to deliver toys!\n" id))
(on (retracted (reindeer-has-returned $id))
(printf "~a delivers toys with the other reindeer.\n" id)
(react (stop-when (retracted (deliver-toys))
(printf "~a has been dismissed by Santa, and goes back on holiday.\n" id))))
(on (asserted (deliver-toys))
(printf "Santa does the delivery run!\n"))
(on (asserted (problem-resolved $id))
(printf "Santa resolves the problem of ~a.\n" id)))