From 0977529e6bf476b7ce4f20dd8665cffb314110ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 28 Apr 2017 15:35:48 +0200
Subject: [PATCH] Checked that having many polymorphic arguments to a function
 is (no longer?) a problem. Things start getting slow above 200 polymorphic
 variables, but currying the function allows more arguments without a
 significant performance impact.

---
 test/speed-many-poly.rkt  | 22 ++++++++++++++++++
 test/speed-many-poly2.rkt | 49 +++++++++++++++++++++++++++++++++++++++
 2 files changed, 71 insertions(+)
 create mode 100644 test/speed-many-poly.rkt
 create mode 100644 test/speed-many-poly2.rkt

diff --git a/test/speed-many-poly.rkt b/test/speed-many-poly.rkt
new file mode 100644
index 0000000..1c7ce52
--- /dev/null
+++ b/test/speed-many-poly.rkt
@@ -0,0 +1,22 @@
+#lang type-expander
+
+(require (for-syntax racket))
+
+;; This seems to be a slow-starting exponential, with a factor of ×2.5
+;; each time n is increased by 100.
+;; n=500 takes nearly 3 minutes, n=1000 should, by projection, take 4.5 hours.
+(define-for-syntax n 200)
+
+(: f ((Λ (_)
+        (with-syntax ([(T ...)
+                       (map (λ (i) (gensym 'τ)) (range n))])
+          #'(∀ (A B T ...)
+               (→ (List A T ...) B (List B T ...)))))))
+(define (f l v)
+  (cons v (cdr l)))
+
+(define-syntax (callf stx)
+  (with-syntax ([(v ...) (range n)])
+    #'(f (list "a" v ...) 'x)))
+
+(define cf (callf))
\ No newline at end of file
diff --git a/test/speed-many-poly2.rkt b/test/speed-many-poly2.rkt
new file mode 100644
index 0000000..6d08f52
--- /dev/null
+++ b/test/speed-many-poly2.rkt
@@ -0,0 +1,49 @@
+#lang type-expander
+
+(require (for-syntax racket))
+
+;; This seems to be a slow-starting exponential, with a factor of ×2.5
+;; each time n is increased by 100.
+;; n=500 takes nearly 3 minutes, n=1000 should, by projection, take 4.5 hours.
+(define-for-syntax n 200)
+
+(: kons (∀ (A B) (→ A B (Pairof A B))))
+(define kons cons)
+
+(: f ((Λ (_)
+        (with-syntax ([(T ...)
+                       (map (λ (i) (gensym 'τ)) (range n))]
+                      [(T₂ ...)
+                       (map (λ (i) (gensym 'τ)) (range n))]
+                      [(T₃ ...)
+                       (map (λ (i) (gensym 'τ)) (range n))])
+          #'(∀ (A B T ...)
+               (→ (List A T ...)
+                  B
+                  (∀ (A₂ T₂ ...)
+                     (→ (List A₂ T₂ ...)
+                        (∀ (A₃ T₃ ...)
+                           (→ (List (List A T ...)
+                                    (List A₂ T₂ ...)
+                                    (List A₃ T₃ ...))
+                              (List (List B T ...)
+                                    (List B T₂ ...)
+                                    (List B T₃ ...))))))))))))
+(define (((f l v) ll) alll)
+  (list (kons v (cdr (car alll)))
+        (kons v (cdr (cadr alll)))
+        (kons v (cdr (caddr alll)))))
+
+(define-syntax (callf stx)
+  (with-syntax ([(v ...) (range n)]
+                [(v₂ ...) (map number->string (range n))]
+                [(v₃ ...) (map string->symbol (map number->string (range n)))])
+    #'(((f
+         (list "a" v ...)
+         'x)
+        (list "aa" v₂ ...))
+       (list (list "a" v ...)
+             (list "aa" v₂ ...)
+             (list 'aaa 'v₃ ...)))))
+
+(define cf (callf))
\ No newline at end of file