Deforest All the Things

qi-lib/flow/core/compiler/1000-qi0.rkt

@@ -28,6 +28,21 @@
     ;;;; Core language forms ;;;;
     ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
+    ;; A note regarding symbolic aliases like ~>, ⏚ and △:
+    ;;
+    ;; These aren't technically part of the core language
+    ;; as they aren't directly part of the syntax
+    ;; spec in the expander (which includes only, e.g.,
+    ;; thread and tee and so on). Instead, they are simply
+    ;; aliased at the module level there when provided.
+    ;; Yet, during code generation in the present module,
+    ;; it's more convenient to express expansions
+    ;; using these symbolic aliases, and that's the
+    ;; reason we retain these in the patterns below. As
+    ;; these patterns are matched as _datum literals_,
+    ;; it doesn't matter that they aren't actually the
+    ;; literal core forms declared in the expander.
+
     [((~datum gen) ex:expr ...)
      #'(λ _ (values ex ...))]
     ;; pass-through (identity flow)

qi-lib/flow/extended/expander.rkt

@@ -10,7 +10,8 @@
                                 [tee -<]
                                 [amp ><]
                                 [sep △]
-                                [collect ▽])))
+                                [collect ▽]
+                                [NOT !])))
 
 (require syntax-spec-v2
          "../space.rkt"

qi-lib/flow/extended/forms.rkt

@@ -7,7 +7,9 @@
                     (rename-out [thread-right ~>>]
                                 [crossover X]
                                 [relay* ==*]
-                                [effect ε])))
+                                [effect ε]
+                                [AND &]
+                                [OR ∥])))
 
 (require (for-syntax racket/base
                      "syntax.rkt"

qi-test/tests/flow.rkt

@@ -294,6 +294,7 @@
      "elementary boolean gates"
      (test-suite
       "AND"
+      (check-equal? ((☯ &) 3 5 7) 7)
       (check-equal? ((☯ AND) #f) #f)
       (check-equal? ((☯ AND) 3) 3)
       (check-equal? ((☯ AND) 3 5 7) 7)
@@ -302,6 +303,7 @@
       (check-equal? ((☯ AND) #f #f #f) #f))
      (test-suite
       "OR"
+      (check-equal? ((☯ ∥) 3 5 7) 3)
       (check-equal? ((☯ OR) #f) #f)
       (check-equal? ((☯ OR) 3) 3)
       (check-equal? ((☯ OR) 3 5 7) 3)
@@ -310,6 +312,7 @@
       (check-equal? ((☯ OR) #f #f #f) #f))
      (test-suite
       "NOT"
+      (check-false ((☯ !) 3))
       (check-false ((☯ NOT) 3))
       (check-true ((☯ NOT) #f)))
      (test-suite