npm - functionalscript - Versions diffs - 0.1.608 → 0.1.609 - Mend

functionalscript 0.1.608 → 0.1.609

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (60) hide show

package/CHANGELOG.md +10 -0
package/Cargo.lock +4 -0
package/Cargo.toml +4 -2
package/README.md +1 -1
package/com/rust/nanocom/src/cobject.rs +1 -1
package/com/test/rust/src/lib.rs +4 -4
package/dev/module.mjs +1 -1
package/dev/test/module.f.mjs +1 -1
package/djs/parser/module.f.d.mts +51 -31
package/djs/parser/module.f.mjs +275 -122
package/djs/parser/test.f.d.mts +4 -0
package/djs/parser/test.f.mjs +179 -63
package/djs/tokenizer/module.f.d.mts +1 -1
package/djs/tokenizer/module.f.mjs +3 -1
package/djs/tokenizer/test.f.mjs +1 -1
package/doc/LANGUAGE.md +17 -16
package/doc/README.md +14 -50
package/fsc/README.md +0 -3
package/fsm/README.md +1 -1
package/html/README.md +24 -0
package/issues/01-test-debug.md +3 -0
package/issues/{publish.md → 05-publish.md} +8 -8
package/issues/17-djs-extension.md +6 -0
package/issues/README.md +20 -13
package/issues/lang/1000-json.md +38 -0
package/issues/lang/2110-default-export.md +2 -2
package/issues/lang/2310-undefined.md +1 -1
package/issues/lang/2330-property-accessor.md +225 -0
package/issues/lang/2360-built-in.md +54 -47
package/issues/lang/3240-export.md +44 -0
package/issues/lang/README.md +64 -22
package/issues/test.f.d.mts +16 -0
package/issues/test.f.mjs +57 -0
package/js/tokenizer/module.f.d.mts +8 -2
package/js/tokenizer/module.f.mjs +29 -3
package/js/tokenizer/test.f.mjs +9 -6
package/json/tokenizer/module.f.mjs +2 -1
package/jsr.json +1 -1
package/nanvm-lib/Cargo.toml +6 -0
package/nanvm-lib/src/extension.rs +119 -0
package/nanvm-lib/src/interface.rs +136 -0
package/nanvm-lib/src/lib.rs +7 -0
package/nanvm-lib/src/naive.rs +229 -0
package/nanvm-lib/src/nanenum.rs +230 -0
package/nanvm-lib/src/nullish.rs +7 -0
package/nanvm-lib/src/sign.rs +5 -0
package/nanvm-lib/src/simple.rs +32 -0
package/nanvm-lib/tests/test.f.d.mts +36 -0
package/nanvm-lib/tests/test.f.mjs +79 -0
package/nanvm-lib/tests/test.rs +108 -0
package/package.json +1 -1
package/text/README.md +2 -2
package/issues/lang/2351-property-accessor.md +0 -44
package/issues/lang/2352-property-call.md +0 -43
package/issues/lang/2353-property-at.md +0 -19
package/issues/test-debug.md +0 -12
/package/issues/{esm.md → 02-esm.md} +0 -0
/package/issues/{djs.md → 03-djs.md} +0 -0
/package/issues/{fs-load.md → 11-fs-load.md} +0 -0
/package/issues/lang/{2330-grouping.md → 2350-grouping.md} +0 -0

package/doc/README.md CHANGED Viewed

@@ -1,76 +1,40 @@
 # Documentation
-FunctionalScript files have `.f.cjs` file extensions because it's using a `Common.JS` module system. We plan to add
-ESM support when we have the first parser working. See
-[ESM. Resolver Algorithm Specification](https://nodejs.org/api/esm.html#resolver-algorithm-specification)
-and [ESM. Enabling](https://nodejs.org/docs/latest-v13.x/api/esm.html#esm_enabling).
+FunctionalScript files have `.f.mjs` file extensions because it's using the ES module system.
-## 1. Creating a New Repository
+## 1. Language
-Creating from a template https://github.com/functionalscript/template/generate
-## 1.1. Creating From Scratch
-Prerequisites:
-- [Git](https://git-scm.com/).
-- [Node.js](https://nodejs.org/en/).
-- GitHub account.
-Creating a new GitHub repository
-1. Create a public git repository on GitHub using Node template.
-2. Clone the repository.
-3. Go to the root directory of the cloned repository.
-4. Run `npm init`. It should create `package.json` file.
-5. Create a `main.f.cjs` file in the repository root directory.
-6. Edit the `main.f.cjs` file. For example
-    ```js
-    module.exports = "Hello world!"
-    ```
-11. Go to [functionalscript.com](https://functionalscript.com) and enter `github:YOUR_GITHUB_NAME/YOUR_REPOSITORY_NAME`. Press `Build`.
-### 1.1. Optional
-1. Install [Visual Studio Code](https://code.visualstudio.com/).
-2. Add [TypeScript](https://www.typescriptlang.org/) to your repository for static type checking.
-   1. Run `npm install -D typescript`.
-   2. Run `npx tsc --init`. It should create `tsconfig.json` file.
-   3. Uncomment `"allowJs": true,` and `"checkJs": true` in the `tsconfig.json` file.
-## 2. Language
-### 2.1. Exports
+### 1.1. Exports
 ```js
-module.exports = 'Hello world!'
+export default 'Hello world!'
 ```
 ```js
-module.exports = { a: 'hello', b: 42 }
+export default { a: 'hello', b: 42 }
 ```
 ```js
-module.exports = x => x * x
+export default x => x * x
 ```
-### 2.2. Reference Another Module
+### 1.2. Reference Another Module
-#### 2.2.1. Local File
+#### 1.2.1. Local File
 ```js
-const x = require('./folder/main.f.cjs')
+import x from './folder/main.f.mjs'
 ```
-### 2.2.2. External Module
+### 1.2.2. External Module
 Run `npm install -D github:USER/REPO`
 ```js
-const x = require(`REPO/DIR/FILE.f.cjs`)
+import x from `REPO/DIR/FILE.f.mjs`
 ```
-### 2.3. Functions
+### 1.3. Functions
 ```js
 const f = x => x * x
@@ -83,9 +47,9 @@ const sum = ar => ar.reduce((a, i) => a + i, 0)
 const sumResult = sum([1, 2, 3])
 ```
-## 3. Advanced
+## 2. Advanced
-### 3.1. Generators
+### 2.1. Generators
 ```js
 const range5 = {*[System.iterator]() {

package/fsc/README.md CHANGED Viewed

@@ -76,7 +76,6 @@
   - `do` ?
   - `else`
   - `export`
-  - `exports` <= non-standard
   - `false`
   - `function` ?
   - `globalThis` ?
@@ -86,11 +85,9 @@
   - `in`
   - `instanceof`
   - `let`
-  - `module` <= non-standard
   - `new` ?
   - `null`
   - `of`
-  - `require`  <= non-standard
   - `return`
   - `super`
   - `switch`

package/fsm/README.md CHANGED Viewed

@@ -107,7 +107,7 @@ const b = { ...a, z: 7 }
 ## How to Add a Property # 2
 ```js
-const map = require('./types/map/module.f.js')
+import map from './types/map/module.f.mjs'
 const a = map.fromEntries(Object.entries({ x: 5, y: 6 }))
 const b = map.setReplace('z')(7)(a)
 ```

package/html/README.md CHANGED Viewed

@@ -5,3 +5,27 @@
 |`<br>`                                      |`['br']`                                         |
 |`<img src="https://example.com/image.jpg">` |`['img',{src:'https://example.com/image.jpg'}]`  |
 |`<a href="https://example.com/">Example</a>`|`['a',{href:'https://example.com/'},['Example']]`|
+## Example
+```html
+<html>
+    <head>
+        <title>Page</title>
+    </head>
+    <body>
+        <a href="https://example.com/">Example</a>
+    </body>
+</html>
+```
+```js
+['html', [
+    ['head', [
+        ['title', ['Page']]
+    ]]
+    ['body', [
+        ['a', { href: 'https://example.com/' }, ['Example']]
+    ]]
+]]
+```

package/issues/01-test-debug.md ADDED Viewed

@@ -0,0 +1,3 @@
+# Allow Debugging During Test Run
+Limitations: without a parser, we are not able to get full coverage.

package/issues/{publish.md → 05-publish.md} RENAMED Viewed

@@ -3,19 +3,19 @@
 We are targeting the following systems:
 - JS:
-  - NPM
-  - JSR
-  - https://esm.sh/ optional
+  - [X] NPM
+  - [X] JSR
+  - [ ] https://esm.sh/ optional
 - Rust:
-  - https://crates.io/
+  - [ ] https://crates.io/
-## Creating `./index.f.cjs`
+## Creating `./index.f.mjs`
-Currently, we regenerate [./index.f.cjs](./index.f.cjs) using `npm run index` during CD (publishing). However, we don't check in CI if it was regenerated. The idea is that CI should check if all generated files in Git are updated:
+Currently, we regenerate [./index.f.mjs](./index.f.mjs) using `npm run index` during CD (publishing). However, we don't check in CI if it was regenerated. The idea is that CI should check if all generated files in Git are updated:
 - [package.json](./package.json) `version` property
 - [jsr.json](./jsr.json), `version` property
-- [index.f.cjs](./index.f.cjs)
+- [index.f.mjs](./index.f.mjs)
 `version` property should be `version` calculated on a `main` branch.
@@ -25,7 +25,7 @@ We may abandon the idea to publish on every commit on `main`. Instead, we will p
 Before publishing, we have to be sure that
-1. [index.f.cjs](./index.f.cjs) is up to date
+1. [index.f.mjs](./index.f.mjs) is up to date
 2. `version` is updated in [jsr.json](./jsr.json) and [package.json](./package.json).
 ## CI Jobs

package/issues/17-djs-extension.md ADDED Viewed

@@ -0,0 +1,6 @@
+# `.d.js` extension conflict
+ We use an extension `.d.js` for data JS files, but if we can't use it for TypeScript files, like `.d.ts` because it means declaration TypeScript files. There are several solutions to the problem:
+1. Use only `.f.js` extension but make sure that `export default` has no functions at the end. In this case we can reference `.f.js` files as well to use functions to transform data (preferred).
+2. Don't use it for TypeScript until we have type annotations in JavaScript.

package/issues/README.md CHANGED Viewed

@@ -1,24 +1,31 @@
 # Issues
-1. [X] [test-debug](./test-debug.md).
-2. [X] [esm](./esm.md)
-3. [ ] [djs](./djs.md)
+1. [X] [test-debug](./01-test-debug.md).
+2. [X] [esm](./02-esm.md)
+3. [ ] [djs](./03-djs.md)
 4. [ ] VM Rust project
-5. [ ] [publish](publish.md)
+5. [ ] [publish](./05-publish.md)
 6. [ ] fix index generation by including sub modules `{ ...m, add: mAdd, remove: mRemove}`.
 7. [ ] Conventions:
     ```js
     import list, * as List from 'list.mjs'
     // list is for objects.
     // List is for types and should be ignored by FJS or errored if used in code.
     ```
 8. Move logic from `.mjs` files to `.f.mjs` files.
-9. Two sets of property filters:
-   - usage `.b`:
-     - `constructor`
-     - ...
-   - call `.b()`:
-     - `push`
-     - ...
-10. [ ] Replace file extensions from `.mjs` to `.js`. Make sure `package.json/type` is equal to `module`. May be later: https://v8.dev/features/modules#mjs
-11. [ ] [fs-load](./fs-load.md)
+9. [ ] Generating a Website.
+10. [ ] Short URL table.
+11. [ ] [fs-load](./11-fs-load.md)
+12. [ ] Replace file extensions from `.mjs` to `.js`. Make sure `package.json/type` is equal to `module`. May be later: https://v8.dev/features/modules#mjs
+13. [ ] Docs for JSR. See https://jsr.io/@functionalscript/functionalscript/score
+14. [ ] Combine `npm run index` and `npm run version`
+15. [ ] Generate `package.json/exports` instead of `index.f.mjs`.
+16. [ ] License in JSR file?
+17. [ ] [djs-extension](./17-djs-extension.md).
+18. [ ] Formatter for `.f.js` and `.f.ts` files.
+19. [ ] Convert FunctionalScript code using non-default `export`.
+20. [ ] Test framework should be able to run a subset of tests.
+21. [ ] Test Framework silent mode. Show progress and failled tests only.
+22. [ ] bit sequences based on bigint

package/issues/lang/1000-json.md CHANGED Viewed

@@ -10,3 +10,41 @@ JSON forms a tree of values.
 ```
 File extension: `.json`.
+## NPN (Normal Polish Notation)
+We will use [NPN](https://en.wikipedia.org/wiki/Polish_notation) as a command format for our VM because it allows us to allocate required objects during streaming as a stack automata.
+```js
+{2} "a" null "b" [3] -42.5 false "hello"
+// evolution
+<> {2} "a" null "b" [3] -42.5 false "hello"
+{ ?: ?, ?: ? } <{4}> "a" null "b" [3] -42.5 false "hello"
+{ "a": ?, ?: ? } <{3}> null "b" [3] -42.5 false "hello"
+{ "a": null, ?: ? } <{2}> "b" [3] -42.5 false "hello"
+{ "a": null, "b": ? } <{1}> [3] -42.5 false "hello"
+{ "a": null, "b": [?, ?, ?] } <{0}[3]> -42.5 false "hello"
+{ "a": null, "b": [-42.5, ?, ?] } <{0}[2]> false "hello"
+{ "a": null, "b": [-42.5, false, ?] } <{0}[1]> "hello"
+{ "a": null, "b": [-42.5, false, "hello"] } <>
+```
+## RPN, just for fun
+[Reverse Polish Notation](https://en.wikipedia.org/wiki/Reverse_Polish_notation):
+```js
+"a" null "b" -42.5 false "hello" [3] {2}
+// evolution:
+"a" <> null "b" -42.5 false "hello" [3] {2}
+"a" null <> "b" -42.5 false "hello" [3] {2}
+"a" null "b" <> -42.5 false "hello" [3] {2}
+"a" null "b" -42.5 <> false "hello" [3] {2}
+"a" null "b" -42.5 false <> "hello" [3] {2}
+"a" null "b" -42.5 false "hello" <> [3] {2}
+"a" null "b" [-42.5, false, "hello"] <> {2}
+{ "a" : null, "b": [-42.5, false, "hello"] } <>
+```

package/issues/lang/2110-default-export.md CHANGED Viewed

@@ -1,11 +1,11 @@
 # Default Export
-Parse `export default` and then JSON. This's enough to have the same functionality as JSON.
+Parse `export default` and then JSON. This is enough to have the same functionality as JSON.
 ```js
 export default 5
 ```
-Depends on [JSON](./1110-json.md)
+Depends on [JSON](./1000-json.md)
 See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/export#using_the_default_export.

package/issues/lang/2310-undefined.md CHANGED Viewed

@@ -1,7 +1,7 @@
 # Undefined Type
 ```js
-export default void 0
+export default undefined
 ```
 Depend on [default-export](./2110-default-export.md).

package/issues/lang/2330-property-accessor.md ADDED Viewed

@@ -0,0 +1,225 @@
+# Get Property
+```js
+const own_property = a => b => Object.getOwnPropertyDescriptor(obj, property)?.value
+// Or
+const own_property = a => b => Object.hasOwn(obj, property) ? obj[property] : void 0
+```
+It's translated into the VM command `own_property`:
+```rust
+struct OwnProperty {
+    obj: Expression
+    property: Expression
+}
+```
+## Instance Property
+```js
+obj.property
+obj.['property']
+```
+It's translated into the VM command `instance_property`:
+```rust
+struct InstanceProperty {
+    obj: Expression
+    index: u8
+}
+```
+If the property name is one of the implemented property names, it should be translated into `index: u8`.
+If a property name is one of the prohibited property names or one of the method names, then it's a compilation error.
+All other property names generate `own_property` commands.
+[Object Instance Properties](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object#instance_properties),
+|name         |side-effect                   |
+|-------------|------------------------------|
+|`__proto__`  |access to function constructor|
+|`constructor`|access to function constructor|
+```js
+const f = () => {}
+{
+    const c = f.constructor
+    const g = c(`console.log('hello')`)
+    g() // side effect
+}
+{
+    const p = f.__proto__
+    const c = Object.getOwnPropertyDescriptor(p, 'constructor').value
+    const g = c(`console.log('hello')`)
+    g() // side-effect
+}
+```
+[Array Instance Properties](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array#instance_properties).
+| |name    |side-effect|
+|-|--------|-----------|
+|0|`length`|no         |
+[Function Instance Properties](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Function#instance_properties)
+| |name         |side-effect|run-time |
+|-|-------------|-----------|---------|
+| |`arguments`  |no         |error    |
+| |`caller`     |no         |error    |
+| |`displayName`|no         |         |
+| |`name`       |no         |error    |
+| |`prototype`  |no         |undefined|
+## Instance Method Call
+```js
+obj.property(parameters)
+obj.['property'](parameters)
+```
+It's translated into VM command `instance_method_call`:
+```rust
+struct InstanceMethodCall {
+    obj: Expression
+    property: String16
+    parameters: Array<Expression>
+}
+```
+**Note**: All known instance methods can't be used in `instance_property` command! Even if they don't have side effects.
+[Object Instance Methods](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object#instance_methods)
+|name                  |side-effect     |
+|----------------------|----------------|
+|`__defineGetter__`    |mutate          |
+|`__defineSetter__`    |mutate          |
+|`__lookupGetter__`    |'__proto__'     |
+|`__lookupSetter__`    |'__proto__'     |
+|`hasOwnProperty`      |no              |
+|`isPrototypeOf`       |no              |
+|`propertyIsEnumerable`|no              |
+|`toLocaleString`      |access to locale|
+|`toString`            |no              |
+|`valueOf`             |no              |
+[Array](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array#instance_methods)
+|name                  |side-effect|notes   |
+|----------------------|-----------|--------|
+|`at`                  |no         |        |
+|`concat`              |no         |        |
+|`copyWith`            |no         |        |
+|`entries`             |yes        |iterator|
+|`every`               |no         |        |
+|`fill`                |yes        |mutate  |
+|`filter`              |no         |        |
+|`find`                |no         |        |
+|`findIndex`           |no         |        |
+|`findLast`            |no         |        |
+|`findLastIndex`       |no         |        |
+|`flat`                |no         |        |
+|`flatMap`             |no         |        |
+|`forEach`             |no         |        |
+|`includes`            |no         |        |
+|`indexOf`             |no         |        |
+|`join`                |no         |        |
+|`keys`                |yes        |iterator|
+|`lastIndexOf`         |no         |        |
+|`map`                 |no         |        |
+|`pop`                 |yes        |mutate  |
+|`push`                |yes        |mutate  |
+|`reduce`              |no         |        |
+|`reduceRight`         |no         |        |
+|`reverse`             |yes        |mutate  |
+|`shift`               |yes        |mutate  |
+|`slice`               |no         |        |
+|`some`                |no         |        |
+|`sort`                |yes        |mutate  |
+|`splice`              |yes        |mutate  |
+|`toReversed`          |no         |        |
+|`toSorted`            |no         |        |
+|`toSpliced`           |no         |        |
+|`unshift`             |yes        |mutate  |
+|`values`              |yes        |iterator|
+|`with`                |no         |        |
+[Function Instance Methods](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Function#instance_methods)
+|name   |side-effect|notes            |
+|-------|-----------|-----------------|
+|`apply`|no         |`this` is ignored|
+|`bind` |no         |`this` is ignored|
+|`call` |no         |`this` is ignored|
+## At
+```js
+obj[42]
+obj[+index]
+```
+It's translated into VM command `at`:
+```rust
+struct InstanceMethodCall {
+    obj: Expression
+    index: Expression
+}
+```
+```js
+import m from './m.f.mjs'
+const a = [2, 3]
+export default {
+    "a": a[0],
+    // we don't know what is the type of `m` so we force it to be a `number` or `bigint`.
+    "b": a[+m]
+}
+```
+In `obj[index]`, `index` has to be a `number`. If we don't know what is `index`, `+` requires before `index`. It means the byte code for the expression inside the `[]` should be either the unary `+`, a number literal, or a string literal (excluding some strings). If it references an object, FS gives up. FS may try deeper analyses in the future, and type inference can help a lot.
+## Iterators
+Direct access to an object with the [`Iterator` protocol](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Iteration_protocols) is not allowed in FunctionalScript.
+```ts
+type Value<T> = { done: true } | { done?: false, value: T }
+type Iterator<T> = {
+    next: () => Value<T>
+}
+```
+However, FunctionalScript allows access to objects with the `Iterable` protocol.
+```ts
+type Iterable<T> = {
+    [Symbol.iterator]: () => Iterator<T>
+}
+```
+For example, JS Array implements the `Iterable` protocol.
+If we need to implement support for [generators](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Generator) in the FunctionalScript, the generator function has to be wrapped into `Iterable` interface. For example,
+```js
+// compilation error!
+const iterator = *() {
+    yield 4
+    yield 2
+}
+// ok
+const iterable = {
+    *[Symbol.iterator]() {
+        yield 4
+        yield 2
+    }
+}
+```

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

@@ -1,74 +1,81 @@
 # Built-in Objects and Functions
-The built-in objects are special. We can get a function, like `Object.getOwnPropertyDescriptor`, but not the `Object` itself.
+The built-in objects are special. We can call a function, like `Object.getOwnPropertyDescriptor()`, but not the `Object` or the function.
 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.
+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          |
+|Function                 |side-effect                |
+|-------------------------|---------------------------|
+|assign                   |mutate                     |
+|create                   |creates a special prototype|
+|defineProperties         |mutate                     |
+|defineProperty           |mutate                     |
+|entries                  |no                         |
+|freeze                   |mutate                     |
+|fromEntries              |no                         |
+|getOwnPropertyDescriptor |no                         |
+|getOwnPropertyDescriptors|no                         |
+|getOwnPropertyNames      |no                         |
+|getOwnPropertySymbols    |return symbols             |
+|getPrototypeOf           |return prototypes          |
+|groupBy                  |return null-property object|
+|hasOwn                   |no                         |
+|is                       |no                         |
+|isExtensible             |no                         |
+|isFrozen                 |no                         |
+|isSealed                 |no                         |
+|keys                     |no                         |
+|preventExtensions        |mutate                     |
+|seal                     |mutate                     |
+|setPrototypeOf           |mutate                     |
+|values                   |no                         |
 ## Array
 https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array
-|Function                 |Priority   |
+|Function                 |side-effect|
 |-------------------------|-----------|
-|from                     |1          |
-|fromAsync                |1          |
-|isArray                  |1          |
-|of                       |1          |
+|from                     |no         |
+|fromAsync                |?          |
+|isArray                  |no         |
+|of                       |no         |
 ## BigInt
-|Function                 |Priority   |
+|Function                 |side-effect|
 |-------------------------|-----------|
-|asIntN                   |1          |
-|asUintN                  |1          |
+|asIntN                   |no         |
+|asUintN                  |no         |
 ## JSON
-|Function                 |Priority   |
+|Function                 |side-effects|
 |-------------------------|-----------|
-|`isRawJSON`              |3          |
-|`parse`                  |2          |
-|`rawJSON`                |3          |
-|`stringify`              |2          |
+|`isRawJSON`              |no         |
+|`parse`                  |no         |
+|`rawJSON`                |no         |
+|`stringify`              |no         |
 ## Others
-`Infinity`
-`isFinite()`
-`isNaN()`
-`NaN`
+|Function                 |side-effect|
+|-------------------------|-----------|
+|`decodeURI()`            |no         |
+|`decodeURIComponent()`   |no         |
+|`encodeURI()`            |no         |
+|`encodeURIComponent()`   |no         |
+|`eval()`                 |no         |
+|Property    |side-effect|
+|------------|-----------|
+|`Infinity`  |no         |
+|`isFinite()`|no         |
+|`isNaN()`   |no         |
+|`NaN`       |no         |