mini-echo examples

prospect/examples/actor/mini-echo.rkt

@@ -0,0 +1,23 @@
+#lang prospect
+
+(require prospect/actor)
+
+(struct echo-req (body) #:prefab)
+(struct echo-resp (body) #:prefab)
+
+(actor-body->spawn-action
+ (lambda ()
+   (actor (forever #:collect [(count 0)]
+                   (on (message (echo-req $body))
+                       (send! (echo-resp body))
+                       (+ count 1))))
+
+   (actor (forever (on (message (echo-resp $body))
+                       (printf "Received: ~v\n" body))))
+
+   (until (asserted (observe (echo-req _))))
+   (until (asserted (observe (echo-resp _))))
+   (send! (echo-req 0))
+   (send! (echo-req 1))
+   (send! (echo-req 2))
+   ))

prospect/examples/mini-echo.rkt

@@ -0,0 +1,25 @@
+#lang prospect
+
+(struct echo-req (body) #:prefab)
+(struct echo-resp (body) #:prefab)
+
+(spawn (lambda (e count)
+         (match e
+           [(message (echo-req body))
+            (transition (+ count 1)
+                        (message (echo-resp body)))]
+           [_ #f]))
+       0
+       (sub (echo-req ?)))
+
+(spawn (lambda (e s)
+         (match e
+           [(message (echo-resp body))
+            (printf "Received: ~v\n" body)
+            #f]
+           [_ #f]))
+       (void)
+       (list (sub (echo-resp ?))
+             (message (echo-req 0))
+             (message (echo-req 1))
+             (message (echo-req 2))))