functionalscript 0.1.608 → 0.2.0

package/issues/lang/README.md

@@ -1,5 +1,9 @@
 # FunctionalScript Language
 
+Two main FunctionsScript princples:
+1. if FS code pass validation/compilation, then it doesn't have side-effects,
+2. the code that passed validation/compilation should behave on FunctionalScript VM the same way as on any other modern JavaScript engine.
+
 When we implement features of FunctionalScript, the first priority is a simplification of the VM.
 
 File Types:
@@ -16,44 +20,67 @@ File Types:
 
 - [ ] [JSON](./1000-json.md).
 
+**VM**:
+
+We are introducing new commands in the order that every new command depends only on previous commands.
+
+|format|any           |Tag|          |
+|------|--------------|---|----------|
+|JSON  |null          | 00|          |
+|      |number        | 01|u64       |
+|      |false         | 02|          |
+|      |true          | 03|          |
+|      |string        | 04|String    |
+|      |array         | 05|Array<Any>|
+|      |object        | 06|Object    |
+
 ## 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`.
 
+|format|any                     |Tag|          |Notes                                           |
+|------|------------------------|---|----------|------------------------------------------------|
+|DJS   |const_ref               | 07|u32       |[const](./2120-const.md)                        |
+|      |bigint_plus             | 08|Array<u64>|[bigint](./2320-bigint.md)                      |
+|      |bigint_minus            | 09|Array<u64>|[bigint](./2320-bigint.md)                      |
+|      |undefined               | 0A|          |[undefined](./2310-undefined.md)                |
+|      |own_property            | 0B|          |[property-accessor](./2330-property-accessor.md)|
+|      |instance_property       | 0C|          |[property-accessor](./2330-property-accessor.md)|
+|      |instance_method_call    | 0D|          |[property-accessor](./2330-property-accessor.md)|
+|      |at                      | 0E|          |[property-accessor](./2330-property-accessor.md)|
+|      |operators               |   |          |[operators](./2340-operators.md)                |
+
 ### 2.1. Required
 
-1. [ ] [default-export](./2110-default-export.md)
-2. [ ] [const](./2120-const.md)
-3. [ ] [default-import](./2130-default-import.md)
+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)
+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)
+1. [ ] [undefined](./2310-undefined.md),
+2. [ ] [bigint](./2320-bigint.md),
+3. [ ] [property-accessor](./2330-property-accessor.md),
+4. [ ] [operators](./2340-operators.md),
+5. [ ] [grouping](./2350-grouping.md),
+6. [ ] [built-in](./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)
+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
 
@@ -61,6 +88,10 @@ The FJS can have functions. The format requires additional run-time information
 
 File extensions: `.f.js` and `.f.mjs`.
 
+|format|any     |Tag|    |Notes                           |
+|------|--------|---|----|--------------------------------|
+|FJS   |function|   |Func|[function](./3110-function.md)  |
+
 ### 3.1. Required
 
 1. [ ] [function](./3110-function.md)
@@ -69,12 +100,23 @@ File extensions: `.f.js` and `.f.mjs`.
 
 ### 3.2. Priority 1
 
-1. [ ] `if`
+1. [ ] `if`. See https://developer.mozilla.org/en-US/docs/Glossary/Falsy
 2. [ ] [let](./3220-let.md)
 3. [ ] `while`
+4. [ ] [export](./3240-export.md)
 
 ### 3.3. Syntactic Sugar
 
-1. [ ] [expression](./321-expression.md)
-2. [ ] [one-parameter](./322-one-parameter.md)
+1. [ ] [expression](./3210-expression.md)
+2. [ ] [one-parameter](./3220-one-parameter.md)
 3. [ ] [assignments](./3330-assignments.md)
+
+## 4. ECMAScript Proposals
+
+1. [ ] [Type Annotations](https://github.com/tc39/proposal-type-annotations), Stage 1:
+   - [Node.js](https://nodejs.org/en/learn/typescript/run-natively),
+   - `Deno` supports TypeScript,
+   - `Bun` supports TypeScript,
+   - most browsers don't support the feature.
+2. [ ] [Pipe Operator `|>`](https://github.com/tc39/proposal-pipeline-operator), Stage 2.
+3. [ ] [Records and Tuples](https://github.com/tc39/proposal-record-tuple), Stage 2.

package/issues/test.f.d.mts

@@ -0,0 +1,16 @@
+declare namespace _default {
+    namespace ownProperty {
+        function nullish(): void;
+        function bool(): void;
+        function array(): void;
+        namespace object {
+            export function _null(): void;
+            export { _null as null };
+            export function undefined(): void;
+        }
+        namespace string {
+            function number(): void;
+        }
+    }
+}
+export default _default;

package/issues/test.f.mjs

@@ -0,0 +1,57 @@
+/** @type {(a: unknown) => (i: any) =>unknown} */
+const at = a => i => Object.getOwnPropertyDescriptor(a, i)?.value
+
+export default {
+    ownProperty: {
+        nullish: () => {
+            /* // panic
+            const v = Object.getOwnPropertyDescriptor(null, 0)
+            if (v !== undefined) {
+                throw v
+            }
+            */
+            /* // panic
+            const v = Object.getOwnPropertyDescriptor(undefined, 0)
+            if (v !== undefined) {
+                throw v
+            }
+            */
+        },
+        bool: () => {
+            const v = at(true)('x')
+            if (v !== undefined) {
+                throw v
+            }
+        },
+        array: () => {
+            const a = ['42']
+            {
+                const v = at(a)('0')
+                if (v !== '42') { throw v }
+            }
+            {
+                const v = at(a)(0)
+                if (v !== '42') { throw v }
+            }
+        },
+        object: {
+            null: () => {
+                const o = { null: 'hello' }
+                const v = at(o)(null)
+                if (v !== 'hello') { throw v }
+            },
+            undefined: () => {
+                const o = { undefined: 'hello' }
+                const v = at(o)(undefined)
+                if (v !== 'hello') { throw v }
+            }
+        },
+        string: {
+            number: () => {
+                const o = 'hello'
+                const v = at(o)(1)
+                if (v !== 'e') { throw v }
+            }
+        }
+    }
+}

package/js/tokenizer/module.f.d.mts

@@ -1,8 +1,7 @@
-declare namespace _default {
-    export { tokenize };
-    export { isKeywordToken };
-}
-export default _default;
+/** @type {(token: JsToken) => Boolean} */
+export const isKeywordToken: (token: JsToken) => boolean;
+/** @type {(input: list.List<number>) => list.List<JsToken>} */
+export const tokenize: (input: list.List<number>) => list.List<JsToken>;
 export type StringToken = {
     readonly kind: "string";
     readonly value: string;
@@ -23,6 +22,9 @@ export type ErrorToken = {
 export type WhitespaceToken = {
     readonly kind: "ws";
 };
+export type NewLineToken = {
+    readonly kind: "nl";
+};
 export type TrueToken = {
     readonly kind: "true";
 };
@@ -72,8 +74,8 @@ export type OperatorToken = {
 } | {
     readonly kind: "?" | "?." | "=>";
 };
-export type JsToken = KeywordToken | TrueToken | FalseToken | NullToken | WhitespaceToken | StringToken | NumberToken | ErrorToken | IdToken | BigIntToken | OperatorToken;
-export type TokenizerState = InitialState | ParseIdState | ParseStringState | ParseEscapeCharState | ParseUnicodeCharState | ParseNumberState | InvalidNumberState | ParseOperatorState | ParseMinusState | ParseWhitespaceState | EofState;
+export type JsToken = KeywordToken | TrueToken | FalseToken | NullToken | WhitespaceToken | NewLineToken | StringToken | NumberToken | ErrorToken | IdToken | BigIntToken | OperatorToken;
+export type TokenizerState = InitialState | ParseIdState | ParseStringState | ParseEscapeCharState | ParseUnicodeCharState | ParseNumberState | InvalidNumberState | ParseOperatorState | ParseMinusState | ParseWhitespaceState | ParseNewLineState | EofState;
 export type ErrorMessage = "\" are missing" | "unescaped character" | "invalid hex value" | "unexpected character" | "invalid number" | "invalid token" | "eof";
 export type InitialState = {
     readonly kind: "initial";
@@ -85,6 +87,9 @@ export type ParseIdState = {
 export type ParseWhitespaceState = {
     readonly kind: "ws";
 };
+export type ParseNewLineState = {
+    readonly kind: "nl";
+};
 export type ParseStringState = {
     readonly kind: "string";
     readonly value: string;
@@ -126,12 +131,12 @@ export type EofState = {
     readonly kind: "eof";
 };
 export type CharCodeOrEof = number | null;
-export type ToToken = (input: number) => readonly [List.List<JsToken>, TokenizerState];
+export type ToToken = (input: number) => readonly [list.List<JsToken>, TokenizerState];
 /**
  * <T>
  */
 export type CreateToToken<T> = (state: T) => ToToken;
-export type RangeSet = List.List<Range.Range>;
+export type RangeSet = list.List<_range.Range>;
 /**
  * <T>
  */
@@ -139,12 +144,8 @@ export type RangeFunc<T> = (def: CreateToToken<T>) => (RangeMapToToken<T>);
 /**
  * <T>
  */
-export type RangeMapToToken<T> = RangeMap.RangeMapArray<CreateToToken<T>>;
-/** @type {(input: List.List<number>) => List.List<JsToken>} */
-declare const tokenize: (input: List.List<number>) => List.List<JsToken>;
-/** @type {(token: JsToken) => Boolean} */
-declare const isKeywordToken: (token: JsToken) => boolean;
+export type RangeMapToToken<T> = range_map.RangeMapArray<CreateToToken<T>>;
+import * as list from '../../types/list/module.f.mjs';
 import * as bigfloatT from '../../types/bigfloat/module.f.mjs';
-import * as List from '../../types/list/module.f.mjs';
-import * as Range from '../../types/range/module.f.mjs';
-import * as RangeMap from '../../types/range_map/module.f.mjs';
+import * as _range from '../../types/range/module.f.mjs';
+import * as range_map from '../../types/range_map/module.f.mjs';