functionalscript 0.1.599 → 0.1.601

package/issues/lang/2360-built-in.md

@@ -0,0 +1,74 @@
+# Built-in Objects and Functions
+
+The built-in objects are special. We can get a function, like `Object.getOwnPropertyDescriptor`, but not the `Object` itself.
+
+https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects
+
+Some of the JS built-in objects and functions are "not allowed" in FS. It means, an FS compiler rejects code that contains "not allowed" objects and functions. 
+
+## Object
+
+https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object
+
+Functions:
+
+|Function                 |Priority   |
+|-------------------------|-----------|
+|constructor              |not allowed|
+|assign                   |not allowed|
+|create                   |not allowed|
+|defineProperties         |not allowed|
+|defineProperty           |not allowed|
+|entries                  |1          |
+|freeze                   |not allowed|
+|fromEntries              |1          |
+|getOwnPropertyDescriptor |1          |
+|getOwnPropertyDescriptors|1          |
+|getOwnPropertyNames      |1          |
+|getOwnPropertySymbols    |not allowed|
+|getPrototypeOf           |not allowed|
+|groupBy                  |1          |
+|hasOwn                   |1          |
+|is                       |1          |
+|isExtensible             |not allowed|
+|isFrozen                 |not allowed|
+|isSealed                 |not allowed|
+|keys                     |1          |
+|preventExtensions        |not allowed|
+|seal                     |not allowed|
+|setPrototypeOf           |not allowed|
+|values                   |1          |
+
+## Array
+
+https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array
+
+|Function                 |Priority   |
+|-------------------------|-----------|
+|from                     |1          |
+|fromAsync                |1          |
+|isArray                  |1          |
+|of                       |1          |
+
+## BigInt
+
+|Function                 |Priority   |
+|-------------------------|-----------|
+|asIntN                   |1          |
+|asUintN                  |1          |
+
+## JSON
+
+|Function                 |Priority   |
+|-------------------------|-----------|
+|`isRawJSON`              |3          |
+|`parse`                  |2          |
+|`rawJSON`                |3          |
+|`stringify`              |2          |
+
+## Others
+
+`Infinity`
+`isFinite()`
+`isNaN()`
+`NaN`

package/issues/lang/2410-identifier-property.md

@@ -0,0 +1,9 @@
+# Identifier Property
+
+```js
+export default {
+    a: 'hello',
+}
+```
+
+Depends on [default-import](./2130-default-import.md).

package/issues/lang/2420-line-comment.md

@@ -0,0 +1,10 @@
+# Line Comment
+
+```js
+// this is an object
+export default { "a": null }
+```
+
+Depends on [export-default](./2110-default-export.md).
+
+See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Lexical_grammar#line_comments

package/issues/lang/2430-trailing-comma.md

@@ -0,0 +1,13 @@
+# Trailing Comma
+
+```js
+export default {
+    "b": [
+        "hello",
+    ],
+}
+```
+
+Depends on [default export](./2110-default-export.md).
+
+See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Trailing_commas

package/issues/lang/2440-shorthand.md

@@ -0,0 +1,8 @@
+# Shorthand Property Names
+
+```js
+const a = [null]
+export default { a }
+```
+
+Depends on [identifier-property](./2410-identifier-property.md).

package/issues/lang/2450-destructuring.md

@@ -0,0 +1,12 @@
+# Destructuring Assignment
+
+```js
+const { "a": a, "%": [c, d] } = { "a": null, "%": [true, false] }
+export default {
+    "a": [a, c, d],
+}
+```
+
+Depends on [const](./2120-const.md) and [function parameters](./3120-parameters.md).
+
+See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Destructuring_assignment.

package/issues/lang/3110-function.md

@@ -0,0 +1,11 @@
+# Function
+
+Parse a function that has no parameters and returns a constant.
+
+```js
+export default () => { return 6 }
+```
+
+Depends on [default export](./2110-default-export.md).
+
+See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Functions/Arrow_functions.

package/issues/lang/3120-parameters.md

@@ -0,0 +1,9 @@
+# Function Parameters
+
+Parse a function that has no parameters and returns a constant.
+
+```js
+export default (a, b) => { return [a, b] }
+```
+
+Depends on [function](./3110-function.md).

package/issues/lang/3130-body-const.md

@@ -0,0 +1,12 @@
+# Body Constants
+
+Parse a const definition in a function body; a const can be used within that body after it is defined.
+
+```js
+export default () => {
+    const x = 43
+    return [3, x]
+}
+```
+
+Depends on [function](./3110-function.md) and [const](./2120-const.md).

package/issues/lang/3220-let.md

@@ -0,0 +1,11 @@
+# Let statement
+
+Introducing `let` and `=`.
+
+```js
+export default () => {
+    let a = 0
+    a = 'Hello world!'
+    return a
+}
+```

package/issues/lang/3310-expression.md

@@ -0,0 +1,12 @@
+# Function Body
+
+Parse a function with one expression.
+
+```js
+export default {
+    "a": () => [3, 4],
+    "c": () => ({ "a": 5 })
+}
+```
+
+Depends on [function](./3110-function.md) and [grouping](2330-grouping.md)

package/issues/lang/3320-one-parameter.md

@@ -0,0 +1,10 @@
+# One Parameter
+
+```js
+export default {
+    "id": a => a
+    "b": [-42.5, false, "hello"]
+}
+```
+
+Depends on [parameters](./3120-parameters.md).

package/issues/lang/3330-assignments.md

@@ -0,0 +1,23 @@
+# Additional Assignment Operators
+
+These operators can be transformed into two operations in VM byte code.
+
+|Type       |Operator|Priority|
+|-----------|--------|--------|
+|Assignment |`+=`    |2       |
+|           |`-=`    |2       |
+|           |`*=`    |2       |
+|           |`/=`    |2       |
+|           |`%=`    |2       |
+|           |`**=`   |2       |
+|           |`<<=`   |2       |
+|           |`>>=`   |2       |
+|           |`>>>=`  |2       |
+|           |`&=`    |2       |
+|           |`^=`    |2       |
+|           |`\|=`   |2       |
+|           |`&&=`   |2       |
+|           |`\|\|=` |2       |
+|           |`??=`   |2       |
+|Arithmetic |`++`    |3       |
+|           |`--`    |3       |

package/issues/lang/README.md

@@ -0,0 +1,80 @@
+# FunctionalScript Language
+
+When we implement features of FunctionalScript, the first priority is a simplification of the VM.
+
+File Types:
+
+|File Type|Extension        |Notes       |
+|---------|-----------------|------------|
+|JSON     |`.json`          |Not a graph.|
+|DJS      |`.d.js`, `.d.mjs`|A graph.    |
+|FJS      |`.f.js`, `.f.mjs`|Functions.  |
+
+**Note**: An FJS value can't be serialized without additional run-time infrastructure.
+
+## 1. JSON
+
+- [ ] [JSON](./1000-json.md).
+
+## 2. DJS
+
+The DJS form a graph of values. It can be serialized without additional run-time information.
+
+File extensions: `.d.js` and `.d.mjs`.
+
+### 2.1. Required
+
+1. [ ] [default-export](./2110-default-export.md)
+2. [ ] [const](./2120-const.md)
+3. [ ] [default-import](./2130-default-import.md)
+
+### 2.2. Priority 1
+
+We need it to use JSDoc and TypeScript.
+
+1. [ ] [block-comment](./2210-block-comment.md)
+2. [ ] [namespace-import](./2220-namespace-import.md)
+
+### 2.3. Priority 2
+
+1. [ ] [undefined](./231-undefined.md)
+2. [ ] [bigint](./232-bigint.md)
+3. [ ] [grouping](./233-grouping.md)
+4. [ ] [operators](./234-operators.md)
+5. [ ] Property Accessors:
+   1. [ ] [property-accessor](./2351-property-accessor.md)
+   2. [ ] [property-call](./2352-property-call.md)
+   3. [ ] [at](./2353-at.md)
+6. [ ] [global](./2360-built-in.md)
+
+### 2.4. Syntactic Sugar
+
+1. [ ] [identifier-property](./2410-identifier-property.md)
+2. [ ] [line-comment](./2420-line-comment.md)
+3. [ ] [trailing-comma](./2430-trailing-comma.md)
+4. [ ] [shorthand](./2440-shorthand.md)
+5. [ ] [destructuring](./2450-destructuring.md)
+
+## 3. FJS
+
+The FJS can have functions. The format requires additional run-time information for serialization.
+
+File extensions: `.f.js` and `.f.mjs`.
+
+### 3.1. Required
+
+1. [ ] [function](./3110-function.md)
+2. [ ] [parameters](./3120-parameters.md)
+3. [ ] [body-const](./3130-body-const.md)
+
+### 3.2. Priority 1
+
+1. [ ] `if`
+2. [ ] [let](./3220-let.md)
+3. [ ] `while`
+
+### 3.3. Syntactic Sugar
+
+1. [ ] [expression](./321-expression.md)
+2. [ ] [one-parameter](./322-one-parameter.md)
+3. [ ] [assignments](./3330-assignments.md)

package/jsr.json

@@ -1,5 +1,119 @@
 {
   "name": "@functionalscript/functionalscript",
-  "version": "0.1.599",
-  "exports": "./index.f.mjs"
+  "version": "0.1.601",
+  "exports": [
+    "./com/cpp/module.f.mjs",
+    "./com/cpp/test.f.mjs",
+    "./com/cpp/testlib.f.mjs",
+    "./com/cs/module.f.mjs",
+    "./com/cs/test.f.mjs",
+    "./com/cs/testlib.f.mjs",
+    "./com/rust/module.f.mjs",
+    "./com/rust/test.f.mjs",
+    "./com/rust/testlib.f.mjs",
+    "./com/test/build.f.mjs",
+    "./com/types/module.f.mjs",
+    "./com/types/testlib.f.mjs",
+    "./commonjs/build/module.f.mjs",
+    "./commonjs/build/test.f.mjs",
+    "./commonjs/module.f.mjs",
+    "./commonjs/module/function/module.f.mjs",
+    "./commonjs/module/module.f.mjs",
+    "./commonjs/package/dependencies/module.f.mjs",
+    "./commonjs/package/dependencies/test.f.mjs",
+    "./commonjs/package/module.f.mjs",
+    "./commonjs/package/test.f.mjs",
+    "./commonjs/path/module.f.mjs",
+    "./commonjs/path/test.f.mjs",
+    "./dev/module.f.mjs",
+    "./dev/test.f.mjs",
+    "./dev/test/module.f.mjs",
+    "./djs/module.f.mjs",
+    "./djs/parser/module.f.mjs",
+    "./djs/parser/test.f.mjs",
+    "./djs/test.f.mjs",
+    "./djs/tokenizer/module.f.mjs",
+    "./djs/tokenizer/test.f.mjs",
+    "./fsc/module.f.mjs",
+    "./fsc/test.f.mjs",
+    "./fsm/module.f.mjs",
+    "./fsm/test.f.mjs",
+    "./html/module.f.mjs",
+    "./html/test.f.mjs",
+    "./index.f.mjs",
+    "./js/tokenizer/module.f.mjs",
+    "./js/tokenizer/test.f.mjs",
+    "./json/module.f.mjs",
+    "./json/parser/module.f.mjs",
+    "./json/parser/test.f.mjs",
+    "./json/serializer/module.f.mjs",
+    "./json/serializer/test.f.mjs",
+    "./json/test.f.mjs",
+    "./json/tokenizer/module.f.mjs",
+    "./json/tokenizer/test.f.mjs",
+    "./nodejs/version/module.f.mjs",
+    "./nodejs/version/test.f.mjs",
+    "./prime_field/module.f.mjs",
+    "./prime_field/test.f.mjs",
+    "./secp/module.f.mjs",
+    "./secp/test.f.mjs",
+    "./sha2/module.f.mjs",
+    "./sha2/test.f.mjs",
+    "./text/ascii/module.f.mjs",
+    "./text/ascii/test.f.mjs",
+    "./text/module.f.mjs",
+    "./text/sgr/module.f.mjs",
+    "./text/test.f.mjs",
+    "./text/utf16/module.f.mjs",
+    "./text/utf16/test.f.mjs",
+    "./text/utf8/module.f.mjs",
+    "./text/utf8/test.f.mjs",
+    "./types/array/module.f.mjs",
+    "./types/array/test.f.mjs",
+    "./types/bigfloat/module.f.mjs",
+    "./types/bigfloat/test.f.mjs",
+    "./types/bigint/module.f.mjs",
+    "./types/bigint/test.f.mjs",
+    "./types/btree/find/module.f.mjs",
+    "./types/btree/find/test.f.mjs",
+    "./types/btree/module.f.mjs",
+    "./types/btree/remove/module.f.mjs",
+    "./types/btree/remove/test.f.mjs",
+    "./types/btree/set/module.f.mjs",
+    "./types/btree/set/test.f.mjs",
+    "./types/btree/test.f.mjs",
+    "./types/btree/types/module.f.mjs",
+    "./types/byte_set/module.f.mjs",
+    "./types/byte_set/test.f.mjs",
+    "./types/function/compare/module.f.mjs",
+    "./types/function/compare/test.f.mjs",
+    "./types/function/module.f.mjs",
+    "./types/function/operator/module.f.mjs",
+    "./types/function/test.f.mjs",
+    "./types/list/module.f.mjs",
+    "./types/list/test.f.mjs",
+    "./types/map/module.f.mjs",
+    "./types/map/test.f.mjs",
+    "./types/nibble_set/module.f.mjs",
+    "./types/nibble_set/test.f.mjs",
+    "./types/nullable/module.f.mjs",
+    "./types/nullable/test.f.mjs",
+    "./types/number/module.f.mjs",
+    "./types/number/test.f.mjs",
+    "./types/object/module.f.mjs",
+    "./types/object/test.f.mjs",
+    "./types/range/module.f.mjs",
+    "./types/range/test.f.mjs",
+    "./types/range_map/module.f.mjs",
+    "./types/range_map/test.f.mjs",
+    "./types/result/module.f.mjs",
+    "./types/sorted_list/module.f.mjs",
+    "./types/sorted_list/test.f.mjs",
+    "./types/sorted_set/module.f.mjs",
+    "./types/sorted_set/test.f.mjs",
+    "./types/string/module.f.mjs",
+    "./types/string/test.f.mjs",
+    "./types/string_set/module.f.mjs",
+    "./types/string_set/test.f.mjs"
+  ]
 }

package/nodejs/version/main.mjs

@@ -1,5 +1,4 @@
 import _ from './module.f.mjs'
-import child_process from 'node:child_process'
 import fs from 'node:fs'
 
-_.version({ child_process, fs })
+_.updateVersion({ fs })

package/nodejs/version/module.f.d.mts

@@ -1,18 +1,17 @@
 declare namespace _default {
-    export { version };
+    export { getVersion };
+    export { updateVersion };
 }
 export default _default;
-export type ChildProcess = {
-    readonly execSync: (cmd: string) => Buffer;
-};
 export type Buffer = {};
 export type Fs<T> = {
     readonly readFileSync: (name: string) => Buffer;
     readonly writeFileSync: (name: string, content: string) => T;
 };
 export type Node<T> = {
-    readonly child_process: ChildProcess;
     readonly fs: Fs<T>;
 };
+/** @type {<T>(fs: Fs<T>) => string} */
+declare const getVersion: <T>(fs: Fs<T>) => string;
 /** @type {<T>(node: Node<T>) => readonly[T, T]} */
-declare const version: <T>(node: Node<T>) => readonly [T, T];
+declare const updateVersion: <T>(node: Node<T>) => readonly [T, T];

package/nodejs/version/module.f.mjs

@@ -1,9 +1,3 @@
-/**
- * @typedef {{
- *  readonly execSync: (cmd: string) => Buffer
- * }} ChildProcess
- */
-
 /** @typedef {{}} Buffer */
 
 /**
@@ -17,24 +11,29 @@
 /**
  * @template T
  * @typedef {{
- *  readonly child_process: ChildProcess
  *  readonly fs: Fs<T>
  * }} Node
  */
 
 const { stringify, parse } = JSON
 
+/** @type {<T>(fs: Fs<T>) => string} */
+const getVersion = fs => readJson(fs)('package').version
+
+const jsonFile = (/** @type {string} */jsonFile) => `${jsonFile}.json`
+
+/** @type {<T>(node: Fs<T>) => (name: string) => any} */
+const readJson = fs => name => parse(fs.readFileSync(jsonFile(name)).toString())
+
 /** @type {<T>(node: Node<T>) => readonly[T, T]} */
-const version = ({ child_process, fs }) => {
-    const version = `0.1.${child_process.execSync('git log --oneline').toString().split('\n').length - 1}`
-    const f = (/** @type {string} */jsonFile) => {
-        const file = `${jsonFile}.json`
+const updateVersion = ({ fs }) => {
+    const f = (/** @type {string} */name) => {
         return fs.writeFileSync(
-            file,
+            jsonFile(name),
             stringify(
                 {
-                    ...parse(fs.readFileSync(file).toString()),
-                    version
+                    ...readJson(fs)(name),
+                    version: getVersion(fs)
                 },
                 null,
                 2))
@@ -46,6 +45,6 @@ const version = ({ child_process, fs }) => {
 }
 
 export default {
-    /** @readonly */
-    version,
+    getVersion,
+    updateVersion,
 }

package/nodejs/version/test.f.mjs

@@ -1,44 +1,54 @@
 import _, * as T from './module.f.mjs'
 
+const version = '0.3.0'
+
+/**
+ * @type {{
+ *  readonly[k in string]: unknown
+ * }}
+ */
 const x = {
-    "name": "functionalscript",
-    "version": "0.1.0",
-    "description": "FunctionalScript is a functional subset of JavaScript",
-    "main": "module.f.cjs",
-    "scripts": {
-        "tsc": "tsc",
-        "test": "tsc && npm run test-only",
-        "version": "node ./nodejs/version/main.cjs",
-        "test-only": "node --trace-uncaught ./test.f.cjs"
-    },
-    "repository": {
-        "type": "git",
-        "url": "git+https://github.com/functionalscript/functionalscript.git"
-    },
-    "author": "NatFoam",
-    "license": "MIT",
-    "keywords": [
-        "lambda",
-        "functional-programming",
-        "closure",
-        "pure-functional",
-        "typescript",
-        "programming-language",
-        "lazy-evaluation"
-    ],
-    "bugs": {
-        "url": "https://github.com/functionalscript/functionalscript/issues"
+    'package.json': {
+        "name": "functionalscript",
+        version,
+        "description": "FunctionalScript is a functional subset of JavaScript",
+        "main": "module.f.cjs",
+        "scripts": {
+            "tsc": "tsc",
+            "test": "tsc && npm run test-only",
+            "version": "node ./nodejs/version/main.cjs",
+            "test-only": "node --trace-uncaught ./test.f.cjs"
+        },
+        "repository": {
+            "type": "git",
+            "url": "git+https://github.com/functionalscript/functionalscript.git"
+        },
+        "author": "NatFoam",
+        "license": "MIT",
+        "keywords": [
+            "lambda",
+            "functional-programming",
+            "closure",
+            "pure-functional",
+            "typescript",
+            "programming-language",
+            "lazy-evaluation"
+        ],
+        "bugs": {
+            "url": "https://github.com/functionalscript/functionalscript/issues"
+        },
+        "homepage": "https://github.com/functionalscript/functionalscript#readme",
+        "devDependencies": {
+            "@types/node": "^18.6.2",
+            "typescript": "^4.7.4"
+        }
     },
-    "homepage": "https://github.com/functionalscript/functionalscript#readme",
-    "devDependencies": {
-        "@types/node": "^18.6.2",
-        "typescript": "^4.7.4"
-    }
+    "jsr.json": {}
 }
 
 const e = '{\n' +
     '  "name": "functionalscript",\n' +
-    '  "version": "0.1.2",\n' +
+    `  "version": "${version}",\n` +
     '  "description": "FunctionalScript is a functional subset of JavaScript",\n' +
     '  "main": "module.f.cjs",\n' +
     '  "scripts": {\n' +
@@ -80,12 +90,11 @@ const buffer = s => ({
 export default () => {
     /** @type {T.Node<string>} */
     const node = {
-        child_process: { execSync: () => buffer("123\n456\n") },
         fs: {
-            readFileSync: () => buffer(JSON.stringify(x)),
+            readFileSync: n => buffer(JSON.stringify(x[n])),
             writeFileSync: (_, content) => content
         }
     }
-    const [n, d] = _.version(node)
+    const [n, d] = _.updateVersion(node)
     if (n !== e) { throw [n, e] }
 }

package/package.json

@@ -1,6 +1,7 @@
 {
   "name": "functionalscript",
-  "version": "0.1.599",
+  "version": "0.1.601",
+  "type": "module",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "index.f.mjs",
   "scripts": {

package/types/list/test.f.mjs

@@ -200,7 +200,8 @@ const stress = () => ({
         /** @type {T.List<number>} */
         let sequence = []
         // 20_000_000 is too much
-        for (let i = 0; i < 10_000_000; ++i) {
+        // 10_000_000 is too much for Deno 1
+        for (let i = 0; i < 5_000_000; ++i) {
             sequence = _.concat(sequence)([i])
         }
         const r = _.toArray(sequence)
@@ -316,5 +317,5 @@ export default {
         if (_.length(null) !== 0) { throw 0 }
         if (_.length(_.flat([[1, 3], null, () => [3], _.concat([12])([4, 89])])) !== 6) { throw 6 }
     },
-    //stress
+    // stress
 }