functionalscript 0.0.403 → 0.0.404

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}

@@ -139,7 +139,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.403",
+  "version": "0.0.404",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "module.f.cjs",
   "scripts": {

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 setReduce = 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 */