Add multi-compose.

typed-compose.rkt

@@ -121,3 +121,19 @@
    ((compose-8 n->s add1 add1 add1 add1 add1 add1 s->n) "3") "9")
   (check-equal?
    ((compose-9 n->s add1 add1 add1 add1 add1 add1 add1 s->n) "3") "10"))
+
+(define-syntax (multi-compose stx)
+  ;; Implementation by Sorawee Porncharoenwase.
+  (syntax-parse stx
+    [(_ f:expr g:expr)
+     #'(compose f g)]
+    [(_ f:expr funcs:expr ...)
+     #'(compose f (multi-compose funcs ...))]))
+
+(module+ test
+  (check-equal? ((multi-compose add1
+                                (λ ([x : Number]) (* x 3))
+                                add1
+                                (λ ([x : Number]) (+ x 2)))
+                 3)
+                19))