functionalscript 0.0.176 → 0.0.178

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.176",
+  "version": "0.0.178",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "index.js",
   "scripts": {

package/sequence/list/index.js

@@ -45,12 +45,26 @@ const fromArray = a => {
     return at(0)
 }
 
-/** @type {<T>(list0: List<T>) => ListMap<T, T>} */
-const concat = a => b => () => {
-    /** @typedef {typeof a extends List<infer T> ? T : never} T */
-    /** @type {(firstAntTail: FirstAndTail<T>) => Result<T>} */
-    const defined = ([first, tail]) => [first, concat(tail)(b)]
-    return option.match(defined)(b)(a())
+/**
+ * Note: the function is not completly lazy.
+ *       it calls `a()` as soon as `a` and `b` are provided.
+ *       Othrewise we may have a stack overflow if a list 
+ *       contains a lot of concateneted empty lists.
+ *       And we can't relay on ES6 TCO (Tail Call Optimization) 
+ *       because it's not supported by Chrome and Firefox.
+ * @type {<T>(list0: List<T>) => ListMap<T, T>} 
+ */
+const concat = a => b => {
+    const result = a()
+    if (result !== undefined) {
+        const [first, tail] = result
+        return () => [first, concat(tail)(b)]
+    }
+    return b
+    // /** @typedef {typeof a extends List<infer T> ? T : never} T */
+    // /** @type {(firstAntTail: FirstAndTail<T>) => Result<T>} */
+    // const defined = ([first, tail]) => [first, concat(tail)(b)]
+    // return option.match(defined)(b)(a())
 }
 
 /** @type {<T, R>(f: (value: T) => List<R>) => ListMap<T, R>} */

package/sequence/list/test.js

@@ -12,14 +12,25 @@ const print = a => {
 
 {
     const big = list.fromArray([1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 42, 60])
-    // print(big)
-    /*
     const list0 = list.fromArray([0, 1, 2, 3])
     const list1 = list.flatMap(x => list.fromArray([x, x * 2, x * 3]))(list0)
     const list2 = list.concat(list0)(list0)
     const list3 = list.inclusiveScan(sum)(list0)
-    print(list3)
-    */
     const r = list.find(x => x === 42)(big)
-    console.log(r)
+    {
+        let x = big
+        for (let i = 0; i < 10000; ++i) {
+            x = list.concat(list.empty)(x)
+        }
+        const r = x()
+        print(x)
+    } 
+    {
+        let x = big
+        for (let i = 0; i < 10000; ++i) {
+            x = list.concat(x)(list.empty)
+        }
+        const r = x()
+        print(x)
+    }
 }