functionalscript 0.0.402 → 0.0.405

package/README.md

@@ -7,7 +7,7 @@ FunctionalScript is a purely functional programming language and a strict subset
 - [asm.JS](https://en.wikipedia.org/wiki/Asm.js)/[WebAssembly](https://en.wikipedia.org/wiki/WebAssembly), as a subset of JavaScript.
 - [TypeScript](https://en.wikipedia.org/wiki/TypeScript), as a superset of JavaScript.
 
-[A brief description of FunctionalScript Programming Language](./LANGUAGE.md).
+[A brief description of FunctionalScript Programming Language](./doc/LANGUAGE.md).
 
 Create a new FunctionalScript repository on GitHub [here](https://github.com/functionalscript/template/generate).
 

package/{LANGUAGE.md → doc/LANGUAGE.md}

@@ -1,5 +1,9 @@
 # FunctionalScript Programming Language
 
+Principals:
+- FunctionalScript VM should behaves the same way as a JavaScript VM
+- Any unsupported feature should be reported at compile-time.
+
 ## 1. Module Ecosystem
 
 FunctionalScript uses [CommonJS](https://en.wikipedia.org/wiki/CommonJS) conventions as a module ecosystem. For example,
@@ -139,7 +143,9 @@ Expressions could fall under these categories:
   - Relations Operators: `in`, `instanceof`.
   - Member Operators: `.`, `[]`.
 
-**Note:** the `.` member operator has prohibited property names, such as `constructor` and `push`. To access such properties, it's recommended to use the [Object.getOwnPropertyDescriptor](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Reflect/getOwnPropertyDescriptor) function.
+**Note:** the `.` member operator has prohibited property names, such as `constructor` and `push`. To access such properties, it's recommended to use the
+[Object.getOwnPropertyDescriptor](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Reflect/getOwnPropertyDescriptor) function.
+`[]` accepts only numbers. For example `+'0'`
 
 ## 8. Arrow Functions
 

package/doc/predefined.md

@@ -0,0 +1,143 @@
+# Predefined Object And Properties
+
+## Global Objects
+
+Global objects. Global objects can't be assigned to something `const r = Object`. They can only be used as namespaces `Object.getOwnProperties()`.
+
+### Value properties
+
+- [x] `Infinity`
+- [x] `NaN`
+- [x] `undefined`
+- [ ] `globalThis`
+
+### Function properties
+
+- [ ] `eval`
+- [x] `isFinite()`
+- [x] `isNan()`
+- [x] `parseFloat()`
+- [x] `parseInt()`
+- [ ] `encodeURI()`
+- [ ] `encodeURIComponent()`
+- [ ] `decodeURI()`
+- [ ] `decodeURIComponent()`
+
+### Fundamental objects
+
+- [x] `Object`. For example `Object.entries`, `Object.fromEntries`.
+- [ ] `Function`
+- [ ] `Boolean`
+- [ ] `Symbol`
+
+### Error objects
+
+- [ ] `Number`
+- [ ] `BigInt`
+- [ ] `Math`
+- [ ] `Date`
+
+### Text processing
+
+- [ ] `String`
+- [ ] `RegExp`
+
+### Indexed collections:
+
+- [x] `Array`. For example `x instanceof Array`
+- [ ] `Int8Array`
+- [ ] `UInt8Array`
+- [ ] `UInt8ClampedArray`
+- [ ] `Int16Array`
+- [ ] `UInt16Array`
+- [ ] `Int32Array`
+- [ ] `UInt32Array`
+- [ ] `Float32Array`
+- [ ] `Float64Array`
+- [ ] `BigInt64Array`
+- [ ] `BigUint64Array`
+
+### Keyed collections:
+
+- [ ] `Map`
+- [ ] `Set`
+- [ ] `WeakMap`
+- [ ] `WeakSet`
+
+### Structured data:
+
+- [ ] `ArrayBuffer`
+- [ ] `SharedArrayBuffer`
+- [ ] `Atomics`
+- [ ] `DataView`
+- [x] `JSON`. For example `JSON.stringify`
+
+### Control abstraction objects
+
+- [ ] `Promise`
+- [ ] `Generator`
+- [ ] `GeneratorFunction`
+- [ ] `AsyncFunction`
+- [ ] `AsyncGeneratorFunction`
+
+### Reflection
+
+- [ ] `Reflect`
+- [ ] `Proxy`
+
+### Internalization
+
+- [ ] `Intl`
+
+### WebAssembly
+
+- [ ] `WebAssembly`
+- [ ] `WebAssembly.Module`
+- [ ] `WebAssembly.Instance`
+- [ ] `WebAssembly.Memory`
+- [ ] `WebAssembly.Table`
+- [ ] `WebAssembly.CompileError`
+- [ ] `WebAssembly.LinkError`
+- [ ] `WebAssembly.RuntimeError`
+
+## Prohibited Properties
+
+Allowed types:
+
+- object `{}`
+  - `null` has no properties
+- array `[]`
+- number `-3`
+- bigint `42n`
+- string `"xx"`
+- boolean `true`
+- function `x => x * x`
+- `undefined` has no properties
+
+### Object
+
+https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object
+
+- [ ] ! `constructor`. The property can create a new function. For example
+  ```js
+  const f = (() => undefined).constructor('a', 'return a * a')
+  ```
+- [ ] deprecated `__proto__`
+- [ ] ! deprecated `__defineGetter__`. The property can mutate an object.
+- [ ] ! deprecated `__defineSetter__`. The property can mutate an object.
+- [ ] deprecated `__lookupGetter__`
+- [ ] deprecated `__lookupSetter__`
+
+### Array
+
+These properties can mutate an array:
+
+- [ ] ! `copyWithin`.
+- [ ] ! `fill`
+- [ ] ! `pop`
+- [ ] ! `push`
+- [ ] ! `reverse`
+- [ ] ! `shift`
+- [ ] ! `sort`
+- [ ] ! `splice`
+- [ ] ! `unshift`

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.402",
+  "version": "0.0.405",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "module.f.cjs",
   "scripts": {

package/sha2/module.f.cjs

@@ -74,41 +74,41 @@ const smallSigma0 = smallSigma(7)(18)(3)
 const smallSigma1 = smallSigma(17)(19)(10)
 
 /** @type {(a: array.Array4<number>) => number} */
-const wi = a => (smallSigma1(a[0]) + a[1] + smallSigma0(a[2]) + a[3]) | 0
-
-/** @type {(input: Array16) => Array16} */
-const nextW = w => {
-    const _0 = wi([w[14], w[ 9], w[ 1], w[ 0]])
-    const _1 = wi([w[15], w[10], w[ 2], w[ 1]])
-    const _2 = wi([   _0, w[11], w[ 3], w[ 2]])
-    const _3 = wi([   _1, w[12], w[ 4], w[ 3]])
-    const _4 = wi([   _2, w[13], w[ 5], w[ 4]])
-    const _5 = wi([   _3, w[14], w[ 6], w[ 5]])
-    const _6 = wi([   _4, w[15], w[ 7], w[ 6]])
-    const _7 = wi([   _5,    _0, w[ 8], w[ 7]])
-    const _8 = wi([   _6,    _1, w[ 9], w[ 8]])
-    const _9 = wi([   _7,    _2, w[10], w[ 9]])
-    const _A = wi([   _8,    _3, w[11], w[10]])
-    const _B = wi([   _9,    _4, w[12], w[11]])
-    const _C = wi([   _A,    _5, w[13], w[12]])
-    const _D = wi([   _B,    _6, w[14], w[13]])
-    const _E = wi([   _C,    _7, w[15], w[14]])
-    const _F = wi([   _D,    _8,    _0, w[15]])
-    return [_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _A, _B, _C, _D, _E, _F]
+const wi = ([a0, a1, a2, a3]) => (smallSigma1(a0) + a1 + smallSigma0(a2) + a3) | 0
+
+/** @type {(w: Array16) => Array16} */
+const nextW = ([w0, w1, w2, w3, w4, w5, w6, w7, w8, w9, wA, wB, wC, wD, wE, wF]) => {
+    w0 = wi([wE, w9, w1, w0])
+    w1 = wi([wF, wA, w2, w1])
+    w2 = wi([w0, wB, w3, w2])
+    w3 = wi([w1, wC, w4, w3])
+    w4 = wi([w2, wD, w5, w4])
+    w5 = wi([w3, wE, w6, w5])
+    w6 = wi([w4, wF, w7, w6])
+    w7 = wi([w5, w0, w8, w7])
+    w8 = wi([w6, w1, w9, w8])
+    w9 = wi([w7, w2, wA, w9])
+    wA = wi([w8, w3, wB, wA])
+    wB = wi([w9, w4, wC, wB])
+    wC = wi([wA, w5, wD, wC])
+    wD = wi([wB, w6, wE, wD])
+    wE = wi([wC, w7, wF, wE])
+    wF = wi([wD, w8, w0, wF])
+    return [w0, w1, w2, w3, w4, w5, w6, w7, w8, w9, wA, wB, wC, wD, wE, wF]
 }
 
 /** @type {(init: Hash8) => (data: Array16) => Hash8} */
-const compress = init => data => {
+const compress = ([a0, b0, c0, d0, e0, f0, g0, h0]) => data => {
     let w = data
 
-    let a = init[0]
-    let b = init[1]
-    let c = init[2]
-    let d = init[3]
-    let e = init[4]
-    let f = init[5]
-    let g = init[6]
-    let h = init[7]
+    let a = a0
+    let b = b0
+    let c = c0
+    let d = d0
+    let e = e0
+    let f = f0
+    let g = g0
+    let h = h0
 
     for (let i = 0; i < 4; ++i) {
         const ki = k[i]
@@ -128,14 +128,14 @@ const compress = init => data => {
     }
 
     return [
-        (init[0] + a) | 0,
-        (init[1] + b) | 0,
-        (init[2] + c) | 0,
-        (init[3] + d) | 0,
-        (init[4] + e) | 0,
-        (init[5] + f) | 0,
-        (init[6] + g) | 0,
-        (init[7] + h) | 0,
+        (a0 + a) | 0,
+        (b0 + b) | 0,
+        (c0 + c) | 0,
+        (d0 + d) | 0,
+        (e0 + e) | 0,
+        (f0 + f) | 0,
+        (g0 + g) | 0,
+        (h0 + h) | 0,
     ]
 }
 

package/types/btree/module.f.cjs

@@ -1,5 +1,6 @@
 const list = require('../list/module.f.cjs')
-const option = require('../option/module.f.cjs')
+const { flat } = list
+const { map } = require('../option/module.f.cjs')
 const _ = require('./types/module.f.cjs')
 
 /** @type {<T>(node: _.Node<T>) => list.Thunk<T>} */
@@ -7,14 +8,14 @@ const nodeValues = node => () => {
     switch (node.length) {
         case 1: case 2: { return node }
         case 3: {
-            return list.flat([
+            return flat([
                 nodeValues(node[0]),
                 [node[1]],
                 nodeValues(node[2])
             ])
         }
         default: {
-            return list.flat([
+            return flat([
                 nodeValues(node[0]),
                 [node[1]],
                 nodeValues(node[2]),
@@ -26,7 +27,7 @@ const nodeValues = node => () => {
 }
 
 /** @type {<T>(tree: _.Tree<T>) => list.List<T>} */
-const values = option.map(nodeValues)
+const values = map(nodeValues)
 
 module.exports = {
     /** @readonly */

package/types/map/module.f.cjs

@@ -1,13 +1,14 @@
 const btreeTypes = require('../btree/types/module.f.cjs')
-const { values } = require("../btree/module.f.cjs")
-const btreeFind = require('../btree/find/module.f.cjs')
-const { value, find } = btreeFind
-const btreeSet = require('../btree/set/module.f.cjs').set
+const {
+    values,
+    find: { value, find },
+    set: { set },
+    remove: { remove: btreeRemove }
+} = require("../btree/module.f.cjs")
 const compare = require('../function/compare/module.f.cjs')
 const { cmp } = require('../string/module.f.cjs')
 const list = require('../list/module.f.cjs')
 const { fold } = list
-const { remove: btreeRemove } = require('../btree/remove/module.f.cjs')
 const operator = require('../function/operator/module.f.cjs')
 
 /** @typedef {compare.Sign} Sign */
@@ -37,26 +38,26 @@ const at = name => map => {
     return result === undefined ? undefined : result[1]
 }
 
-/** @type {<T>(o: operator.Reduce<T>) => (entry: Entry<T>) => (map: Map<T>) => Map<T>} */
-const setUpdateEntry = o => entry => btreeSet(keyCmp(entry[0]))(old => old === undefined ? entry : [old[0], o(old[1])(entry[1])])
+/** @type {<T>(reduce: operator.Reduce<T>) => (entry: Entry<T>) => (map: Map<T>) => Map<T>} */
+const setReduceEntry = reduce => entry => set(keyCmp(entry[0]))(old => old === undefined ? entry : [old[0], reduce(old[1])(entry[1])])
 
-/** @type {<T>(o: operator.Reduce<T>) => (name: string) => (value: T) => (map: Map<T>) => Map<T>} */
-const setUpdate = o => name => value => setUpdateEntry(o)([name, value])
+/** @type {<T>(reduce: operator.Reduce<T>) => (name: string) => (value: T) => (map: Map<T>) => Map<T>} */
+const setReduce = reduce => name => value => setReduceEntry(reduce)([name, value])
+
+/** @type {<T>(a: T) => (b: T) => T} */
+const replace = () => b => b
 
 /** @type {(name: string) => <T>(value: T) => (map: Map<T>) => Map<T>} */
-const setReplace = name => value => setUpdateEntry(replace)([name, value])
+const setReplace = name => value => setReduceEntry(replace)([name, value])
 
 /** @type {<T>(map: Map<T>) => list.List<Entry<T>>} */
 const entries = values
 
-/** @type {<T>(a: T) => (b: T) => T} */
-const replace = () => b => b
-
 /** @type {<T>(entries: list.List<Entry<T>>) => Map<T>} */
-const fromEntries = fold(setUpdateEntry(replace))(undefined)
+const fromEntries = fold(setReduceEntry(replace))(undefined)
 
 /** @type {(name: string) => <T>(map: Map<T>) => Map<T>} */
-const remove =  name => btreeRemove(keyCmp(name))
+const remove = name => btreeRemove(keyCmp(name))
 
 module.exports = {
     /** @readonly */
@@ -64,7 +65,7 @@ module.exports = {
     /** @readonly */
     at,
     /** @readonly */
-    setUpdate,
+    setReduce,
     /** @readonly */
     setReplace,
     /** @readonly */

package/types/map/test.f.cjs

@@ -1,4 +1,4 @@
-const { at, setReplace, setUpdate, empty, entries, remove } = require('./module.f.cjs')
+const { at, setReplace, setReduce, empty, entries, remove } = require('./module.f.cjs')
 const seq = require('../list/module.f.cjs')
 
 {
@@ -41,7 +41,7 @@ const seq = require('../list/module.f.cjs')
     m = remove('Hello world!')(m)
     if (at('Hello world!')(m) !== undefined) { throw m }
 
-    m = setUpdate(a => b => a + b)('a')(43)(m)
+    m = setReduce(a => b => a + b)('a')(43)(m)
     if (at('a')(m) !== 44) { throw 'error' }
 }