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

functionalscript 0.1.608 → 0.2.0

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 (222) hide show

package/CHANGELOG.md +10 -0
package/Cargo.lock +4 -0
package/Cargo.toml +4 -2
package/README.md +1 -1
package/com/cpp/module.f.d.mts +4 -8
package/com/cpp/module.f.mjs +20 -25
package/com/cpp/testlib.f.mjs +3 -4
package/com/cs/module.f.d.mts +4 -8
package/com/cs/module.f.mjs +18 -23
package/com/cs/testlib.f.mjs +3 -5
package/com/rust/module.f.d.mts +3 -7
package/com/rust/module.f.mjs +25 -30
package/com/rust/nanocom/src/cobject.rs +1 -1
package/com/rust/testlib.f.mjs +3 -5
package/com/test/build.f.d.mts +2 -2
package/com/test/build.f.mjs +2 -2
package/com/test/build.mjs +4 -4
package/com/test/rust/src/lib.rs +4 -4
package/com/types/module.f.d.mts +5 -10
package/com/types/module.f.mjs +5 -12
package/commonjs/build/module.f.d.mts +13 -17
package/commonjs/build/module.f.mjs +23 -28
package/commonjs/build/test.f.mjs +4 -4
package/commonjs/module/function/module.f.d.mts +0 -2
package/commonjs/module/function/module.f.mjs +0 -2
package/commonjs/module/module.f.d.mts +16 -21
package/commonjs/module/module.f.mjs +2 -9
package/commonjs/module.d.mts +1 -5
package/commonjs/module.f.d.mts +0 -2
package/commonjs/module.f.mjs +0 -2
package/commonjs/module.mjs +2 -7
package/commonjs/package/dependencies/module.f.d.mts +3 -7
package/commonjs/package/dependencies/module.f.mjs +5 -10
package/commonjs/package/dependencies/test.f.mjs +1 -1
package/commonjs/package/module.f.d.mts +12 -18
package/commonjs/package/module.f.mjs +6 -13
package/commonjs/package/test.f.mjs +1 -1
package/commonjs/path/module.f.d.mts +25 -32
package/commonjs/path/module.f.mjs +12 -23
package/commonjs/path/test.f.mjs +11 -11
package/commonjs/test.mjs +1 -1
package/dev/module.f.d.mts +1 -4
package/dev/module.f.mjs +1 -4
package/dev/module.mjs +1 -1
package/dev/test/module.f.d.mts +2 -3
package/dev/test/module.f.mjs +5 -7
package/djs/module.f.d.mts +13 -18
package/djs/module.f.mjs +12 -19
package/djs/parser/module.f.d.mts +53 -37
package/djs/parser/module.f.mjs +278 -131
package/djs/parser/test.f.d.mts +4 -0
package/djs/parser/test.f.mjs +186 -70
package/djs/test.f.mjs +4 -4
package/djs/tokenizer/module.f.d.mts +6 -10
package/djs/tokenizer/module.f.mjs +19 -22
package/djs/tokenizer/test.f.mjs +7 -7
package/doc/LANGUAGE.md +17 -16
package/doc/README.md +14 -50
package/fsc/README.md +0 -3
package/fsc/module.f.d.mts +4 -9
package/fsc/module.f.mjs +17 -24
package/fsc/test.f.mjs +3 -3
package/fsm/README.md +1 -1
package/fsm/module.f.d.mts +13 -20
package/fsm/module.f.mjs +27 -38
package/fsm/test.f.mjs +8 -8
package/html/README.md +24 -0
package/html/module.f.d.mts +7 -12
package/html/module.f.mjs +14 -23
package/html/test.f.mjs +4 -4
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 +18 -17
package/js/tokenizer/module.f.mjs +80 -61
package/js/tokenizer/test.f.mjs +15 -12
package/json/module.f.d.mts +18 -26
package/json/module.f.mjs +18 -31
package/json/parser/module.f.d.mts +9 -13
package/json/parser/module.f.mjs +9 -14
package/json/parser/test.f.mjs +7 -7
package/json/serializer/module.f.d.mts +11 -20
package/json/serializer/module.f.mjs +14 -29
package/json/serializer/test.f.mjs +2 -2
package/json/test.f.mjs +3 -3
package/json/tokenizer/module.f.d.mts +6 -10
package/json/tokenizer/module.f.mjs +16 -20
package/json/tokenizer/test.f.mjs +6 -6
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/nodejs/version/main.mjs +1 -1
package/nodejs/version/module.f.d.mts +4 -9
package/nodejs/version/module.f.mjs +2 -7
package/nodejs/version/test.f.mjs +3 -3
package/package.json +1 -1
package/prime_field/module.f.d.mts +20 -23
package/prime_field/module.f.mjs +9 -12
package/prime_field/test.f.mjs +1 -1
package/secp/module.f.d.mts +27 -28
package/secp/module.f.mjs +38 -39
package/secp/test.f.mjs +4 -4
package/sha2/module.f.d.mts +8 -16
package/sha2/module.f.mjs +7 -20
package/sha2/test.f.mjs +4 -4
package/text/README.md +2 -2
package/text/ascii/module.f.d.mts +69 -72
package/text/ascii/module.f.mjs +5 -10
package/text/ascii/test.f.mjs +3 -3
package/text/module.f.d.mts +9 -14
package/text/module.f.mjs +7 -14
package/text/sgr/module.f.d.mts +7 -9
package/text/sgr/module.f.mjs +2 -4
package/text/test.f.mjs +3 -3
package/text/utf16/module.f.d.mts +8 -15
package/text/utf16/module.f.mjs +17 -28
package/text/utf16/test.f.mjs +5 -5
package/text/utf8/module.f.d.mts +4 -9
package/text/utf8/module.f.mjs +9 -16
package/text/utf8/test.f.mjs +4 -4
package/types/array/module.f.d.mts +14 -24
package/types/array/module.f.mjs +8 -25
package/types/array/test.f.mjs +3 -3
package/types/bigfloat/module.f.d.mts +4 -9
package/types/bigfloat/module.f.mjs +3 -10
package/types/bigfloat/test.f.mjs +1 -1
package/types/bigint/module.f.d.mts +16 -64
package/types/bigint/module.f.mjs +11 -30
package/types/bigint/test.f.mjs +1 -1
package/types/btree/find/module.f.d.mts +20 -26
package/types/btree/find/module.f.mjs +8 -17
package/types/btree/find/test.f.mjs +7 -7
package/types/btree/module.f.d.mts +4 -8
package/types/btree/module.f.mjs +6 -11
package/types/btree/remove/module.f.d.mts +7 -12
package/types/btree/remove/module.f.mjs +10 -17
package/types/btree/remove/test.f.mjs +5 -5
package/types/btree/set/module.f.d.mts +3 -7
package/types/btree/set/module.f.mjs +4 -9
package/types/btree/set/test.f.mjs +4 -4
package/types/btree/test.f.mjs +9 -9
package/types/btree/types/module.f.d.mts +0 -2
package/types/btree/types/module.f.mjs +0 -2
package/types/byte_set/module.f.d.mts +16 -29
package/types/byte_set/module.f.mjs +14 -39
package/types/byte_set/test.f.mjs +5 -5
package/types/function/compare/module.f.d.mts +9 -15
package/types/function/compare/module.f.mjs +3 -12
package/types/function/compare/test.f.mjs +1 -1
package/types/function/module.f.d.mts +20 -27
package/types/function/module.f.mjs +4 -15
package/types/function/operator/module.f.d.mts +28 -43
package/types/function/operator/module.f.mjs +14 -41
package/types/function/test.f.mjs +1 -1
package/types/list/module.f.d.mts +56 -91
package/types/list/module.f.mjs +45 -114
package/types/list/test.f.mjs +10 -10
package/types/map/module.f.d.mts +15 -24
package/types/map/module.f.mjs +15 -30
package/types/map/test.f.mjs +2 -2
package/types/nibble_set/module.f.d.mts +10 -20
package/types/nibble_set/module.f.mjs +7 -24
package/types/nibble_set/test.f.mjs +2 -2
package/types/nullable/module.f.d.mts +3 -8
package/types/nullable/module.f.mjs +2 -9
package/types/nullable/test.f.mjs +1 -1
package/types/number/module.f.d.mts +7 -13
package/types/number/module.f.mjs +8 -19
package/types/number/test.f.mjs +1 -1
package/types/object/module.f.d.mts +11 -18
package/types/object/module.f.mjs +9 -20
package/types/object/test.f.mjs +1 -1
package/types/range/module.f.d.mts +3 -8
package/types/range/module.f.mjs +2 -9
package/types/range/test.f.mjs +1 -1
package/types/range_map/module.f.d.mts +9 -15
package/types/range_map/module.f.mjs +9 -18
package/types/range_map/test.f.mjs +32 -32
package/types/result/module.d.mts +3 -3
package/types/result/module.f.d.mts +6 -12
package/types/result/module.f.mjs +3 -12
package/types/result/module.mjs +2 -2
package/types/sorted_list/module.f.d.mts +22 -28
package/types/sorted_list/module.f.mjs +10 -19
package/types/sorted_list/test.f.mjs +7 -7
package/types/sorted_set/module.f.d.mts +6 -12
package/types/sorted_set/module.f.mjs +7 -16
package/types/sorted_set/test.f.mjs +7 -7
package/types/string/module.f.d.mts +8 -14
package/types/string/module.f.mjs +10 -21
package/types/string/test.f.mjs +2 -2
package/types/string_set/module.f.d.mts +8 -16
package/types/string_set/module.f.mjs +12 -27
package/types/string_set/test.f.mjs +1 -1
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/html/module.f.mjs CHANGED Viewed

@@ -1,12 +1,12 @@
 // @ts-self-types="./module.f.d.mts"
-import list, * as List from '../types/list/module.f.mjs'
+import * as list from '../types/list/module.f.mjs'
 const { map, flatMap, flat, concat: listConcat } = list
-import s from '../types/string/module.f.mjs'
+import * as s from '../types/string/module.f.mjs'
 const { concat: stringConcat } = s
 import * as O from '../types/object/module.f.mjs'
-import f from '../types/function/module.f.mjs'
+import * as f from '../types/function/module.f.mjs'
 const { compose } = f
-import utf16 from '../text/utf16/module.f.mjs'
+import * as utf16 from '../text/utf16/module.f.mjs'
 const { stringToList } = utf16
 const { fromCharCode } = String
 const { entries } = Object
@@ -50,7 +50,7 @@ const isVoid = tag => voidTagList.includes(tag)
  * }} Attributes
  */
-/** @typedef {List.List<Node>} Nodes */
+/** @typedef {list.List<Node>} Nodes */
 /** @typedef {Element | string} Node */
@@ -71,33 +71,33 @@ const escapeCharCode = code => {
 const escape = compose(stringToList)(map(escapeCharCode))
-/** @type {(n: Node) => List.List<string>} */
+/** @type {(n: Node) => list.List<string>} */
 const node = n => typeof n === 'string' ? escape(n) : element(n)
 const nodes = flatMap(node)
-/** @type {(a: O.Entry<string>) => List.List<string>} */
+/** @type {(a: O.Entry<string>) => list.List<string>} */
 const attribute = ([name, value]) => flat([[' ', name, '="'], escape(value), ['"']])
-/** @type {(a: Attributes) => List.List<string>} */
+/** @type {(a: Attributes) => list.List<string>} */
 const attributes = compose(entries)(flatMap(attribute))
 const open = (/** @type {Element2A} */[tag, a]) => flat([[`<`, tag], attributes(a), [`>`]])
 const close = (/** @type {string}*/tag) => ['</', tag, '>']
-/** @type {(_: Element3) => List.List<string>} */
+/** @type {(_: Element3) => list.List<string>} */
 const element3 = ([tag, a, ns]) =>
     flat([open([tag, a]), nodes(ns), close(tag)])
-/** @type {(_: Element2A) => List.List<string>} */
+/** @type {(_: Element2A) => list.List<string>} */
 const element2a = e => {
     const [tag] = e
     return flat([open(e), isVoid(tag) ? [] : close(tag)])
 }
-/** @type {(element: Element) => List.List<string>} */
-const element = e => {
+/** @type {(element: Element) => list.List<string>} */
+export const element = e => {
     switch (e.length) {
         case 1: { return element2a([e[0], {}]) }
         case 2: {
@@ -112,15 +112,6 @@ const element = e => {
     }
 }
-const html = compose(element)(listConcat(['<!DOCTYPE html>']))
+export const html = compose(element)(listConcat(['<!DOCTYPE html>']))
-const htmlToString = compose(html)(stringConcat)
-export default {
-    /** @readonly */
-    element,
-    /** @readonly */
-    html,
-    /** @readonly */
-    htmlToString,
-}
+export const htmlToString = compose(html)(stringConcat)

package/html/test.f.mjs CHANGED Viewed

@@ -1,4 +1,4 @@
-import _, * as T from './module.f.mjs'
+import * as _ from './module.f.mjs'
 export default {
     empty: () => {
@@ -14,19 +14,19 @@ export default {
         if (r !== '<!DOCTYPE html><area>') { throw r }
     },
     some: () => {
-        /** @type {T.Element} */
+        /** @type {_.Element} */
         const x = ['div', {}, ['<div>&amp;</div>', ['a', { href: 'hello"' }, []]]]
         const s = _.htmlToString(x)
         if (s !== '<!DOCTYPE html><div>&lt;div&gt;&amp;amp;&lt;/div&gt;<a href="hello&quot;"></a></div>') { throw s }
     },
     some2: () => {
-        /** @type {T.Element} */
+        /** @type {_.Element} */
         const x = ['div', ['<div>&amp;</div>', ['a', { href: 'hello"' }, []]]]
         const s = _.htmlToString(x)
         if (s !== '<!DOCTYPE html><div>&lt;div&gt;&amp;amp;&lt;/div&gt;<a href="hello&quot;"></a></div>') { throw s }
     },
     someVoid: () => {
-        /** @type {T.Element} */
+        /** @type {_.Element} */
         const x = ['div', [['br', {id: '5'}], '<div>&amp;</div>', ['a', { href: 'hello"' }, []]]]
         const s = _.htmlToString(x)
         if (s !== '<!DOCTYPE html><div><br id="5">&lt;div&gt;&amp;amp;&lt;/div&gt;<a href="hello&quot;"></a></div>') { throw s }

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         |

package/issues/lang/3240-export.md ADDED Viewed

@@ -0,0 +1,44 @@
+# Non-default Export
+In FunctionalScript we use `export default`:
+```js
+export default 17
+```
+The main reason is that it's compatible with other module types, such as JSON and CommonJS.
+ECMAScript supports `export` of other non-default objects. We wouldn't have much reasons to support but systems as JSR doesn't really like `default` exports.
+To implement `export` we should change our definition of a module from `unknown` to
+```ts
+type Module = {
+    readonly [k in string]?: unknonwn
+    readonly default?: unknown
+}
+```
+Or, more strict version, which allows either `export` or `export default` but not both:
+```ts
+type Module = ExportMap | ExportDefault
+type ExportMap = Omit<{
+    readonly[k in string]: unknown
+}, 'default'>
+type DefaultExport = {
+    readonly default: unknown
+}
+```
+We don't need to change `import` for now if we implement `import * as X from ...`. For example
+```js
+// types/list/module.d.mjs
+export const map = ...
+```
+```js
+import * as List from 'types/list/module.f.mjs'
+const { map } = List
+```