functionalscript 0.3.3 → 0.3.5

package/issues/lang/3370-type-inference.md

@@ -1,69 +0,0 @@
-# Type Inference
-
-We need type inference to prove that specific values have specific types. Type annotations can help, but we can't trust them.
-
-## Level 1
-
-```rust
-enum Type {
-    Unknown,
-    Null,
-    Undefined,
-    Bool,
-    Number,
-    String,
-    BigInt,
-    Object,
-    Array,
-    Function,
-    // ...
-}
-```
-
-## Level 2
-
-It is a set. For example,
-
-```rust
-Set<Type>
-```
-
-On this level, we can extend our `Type` definition with some known finite values:
-
-```rs
-enum Type {
-    Unknown,
-    Null,
-    Undefined,
-    False,
-    True,
-    Number,
-    String,
-    BigInt,
-    Object,
-    Array,
-    Function,
-    // ...
-    // ...
-    EmptyString,
-    NumberZero,
-    NumberNaN,
-    NumberPositive,
-    NumberNegative,
-    NumberPInf,
-    NumberNInf,
-    BigIntZero,
-    BigIntPositive,
-    BigIntNegative,
-    EmptyObject,
-    EmptyArray,
-    FunctionId,
-    // ...
-}
-```
-
-The set is finite and can be implemented using a bit-set.
-
-### Level 3
-
-Compared to level 2, this level contains dynamic information about subsets of the type.

package/issues/lang/3380-promise.md

@@ -1,22 +0,0 @@
-# Promise
-
-It could be blocked until we solve the ownership problem.
-
-Promise is the main object. `async` and `await` are syntax sugars. If we can safely work with promises, we can transform a FunctionalScript program with `async` functions into a normal function with Promises.
-
-## `.then()`
-
-```ts
-a.then(f)
-```
-
-```ts
-const g0 = async(a) => f(await a)
-// g0 = a => a.then(f)
-
-const g1 = async(a) => f(await a)
-
-const a = io.wrtieFile('a', 'x')
-const p0 = g0(a)
-const p1 = g1(a)
-```

package/issues/lang/3390-class.md

@@ -1,3 +0,0 @@
-# Classes
-
-Classes are [nominal types](https://en.wikipedia.org/wiki/Nominal_type_system). In other words, their definitions are location-based, not content-based. This can cause many problems, such as duplicate incompatible class definitions during serialization and code importing. So, the best way to use classes would be to use CA VM.

package/issues/lang/3410-expression.md

@@ -1,12 +0,0 @@
-# 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/3420-one-parameter.md

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

package/issues/lang/3430-assignments.md

@@ -1,23 +0,0 @@
-# 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

@@ -1,193 +0,0 @@
-# FunctionalScript Language
-
-Two main FunctionsScript principles:
-
-1. if FS code passes 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:
-
-|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).
-
-**VM**:
-
-We are introducing new commands in such a way 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).
-
-### 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](./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).
-
-## 3. FJS
-
-The FJS can have functions. The format requires additional run-time information for serialization.
-
-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)
-2. [ ] [parameters](./3120-parameters.md)
-3. [ ] [body-const](./3130-body-const.md)
-
-### 3.2. Priority 2
-
-1. [ ] `if`. See https://developer.mozilla.org/en-US/docs/Glossary/Falsy
-2. [ ] [let](./3220-let.md)
-3. [ ] `while`
-4. [ ] [export](./3240-export.md)
-5. [ ] Ownership of Mutable Objects (Singletons)
-
-### 3.3. Priority 3
-
-1. [ ] Regular Expressions
-2. [ ] [type inference](./3370-type-inference.md)
-3. [ ] [promise](./3380-promise.md)
-4. [ ] [class](./3390-class.md)
-
-### 3.4. Syntactic Sugar
-
-1. [ ] [expression](./3410-expression.md)
-2. [ ] [one-parameter](./3420-one-parameter.md)
-3. [ ] [assignments](./3430-assignments.md)
-4. [ ] `async`/`await`. Depends on the implementation of promises.
-
-## 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.
-
-## 5. I/O
-
-### 5.1. Isolated I/O
-
-Using dependency injection.
-
-This implementation of VM requires external function implementation.
-
-### 5.2 Isolated Asynchronous I/O
-
-It requires a promise implementation.
-
-### 5.3. State Machine with Asynchronous Requests
-
-VM doesn't need to implement external functions or promises.
-
-```ts
-type RequestType = ...;
-type Request = readonly[Input, Continuation];
-type Continuation = (_: Output) => Request;
-type Main = Request
-```
-
-## 6. Content-Addressable VM
-
-See also [Unison](https://www.unison-lang.org/).
-
-The main target is run-time performance.
-
-Hash function: most likely SHA256 because there is a lot of hardware support from modern processors.
-
-Hash structure: we will use several initial hashes for a compress function.
-
-We may use CDT for huge arrays, objects, strings, and BigInts.
-
-The first bit of a hash is reserved for a tag. If the tag is `0`, we have raw data with `1` at the end. A hash with all zeroes is used for `undefined`. If the first bit is `0`, then the value is a hash. So, we have only 255 bits for a hash.
-
-Because we use tagged hash, we can keep small values in a `nanenum`. So it may reuse a lot from non-content addressable VM and ref-values can keep a hash value inside.
-
-Instead of an address, we can use a prefix, hash. 48 bits should be enough for most cases. However, we also need a mechanism to resolve collisions (even if they are rare). For example, our value can be an enum like this
-
-```rust
-enum Value {
-   Data(...),
-   Hash(u48),
-   Ref(u48),
-}
-```
-
-However, while the `===` operation can be faster, `Value::Hash` is slower when we need to access the object's internals because it requires two dereference operations. So, we may come back to using only references.
-
-```rust
-enum Value {
-   Data(...)
-   Ref(u48)
-}
-```
-
-Collision probability for 48 bits is 50% for `16777216 = 2^24` hashes (birthday attack). 
-    

package/issues/test.f.ts

@@ -1,58 +0,0 @@
-const at
-    : (a: unknown) => (i: any) =>unknown
-    = 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 }
-            }
-        }
-    }
-}