functionalscript 0.0.401 → 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/commonjs/build/module.f.cjs

@@ -8,7 +8,7 @@ const object = require('../../types/object/module.f.cjs')
 const { fromMap } = object
 const path = require('../path/module.f.cjs')
 const { parseAndFind } = path
-const stringSet = require('../../types/string_set/module.f.cjs')
+const stringSet = require('../../types/stringset/module.f.cjs')
 const { set: setSet, contains: setContains } = stringSet
 
 /**

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

package/test.f.cjs

@@ -16,7 +16,7 @@ require('./commonjs/package/test.f.cjs')
 require('./commonjs/path/test.f.cjs')
 require('./types/function/test.f.cjs')
 require('./types/function/compare/test.f.cjs')
-require('./types/string_set/test.f.cjs')
+require('./types/stringset/test.f.cjs')
 require('./types/option/test.f.cjs')
 require('./commonjs/build/test.f.cjs')
 require('./types/range/test.f.cjs')

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' }
 }
 

package/types/module.f.cjs

@@ -16,7 +16,7 @@ module.exports = {
     /** @readonly */
     result: require('./result/module.f.cjs'),
     /** @readonly */
-    string_set: require('./string_set/module.f.cjs'),
+    stringset: require('./stringset/module.f.cjs'),
     /** @readonly */
     bigint: require('./bigint/module.f.cjs'),
     /** @readonly */

package/types/{string_set → stringset}/module.f.cjs

@@ -15,7 +15,10 @@ const { compose } = require('../function/module.f.cjs')
 /** @typedef {btTypes.Tree<string>} StringSet */
 
 /** @type {(value: string) => (set: StringSet) => boolean} */
-const contains = value => s => s !== undefined && isFound(find(cmp(value))(s).first)
+const contains = value => {
+    const f = find(cmp(value))
+    return s => s !== undefined && isFound(f(s).first)
+}
 
 /** @type {(value: string) => (s: StringSet) => StringSet} */
 const set = value => btreeSet(cmp(value))(() => value)