functionalscript 0.0.477 → 0.0.478

package/fsc/README.md

@@ -0,0 +1,113 @@
+# FunctionalScript Compiler
+
+## Tokenizer
+
+- `!` - logicalNot
+  - `!=` - nonStrictNotEqual
+  - `!==` - notEqual
+- `"` - doubleStringBegin
+- `$` - idBegin
+- `%` - remainder
+  - `%=` - remainder assignment
+- `&` - bitwiseAnd
+  - `&&` - logicalAnd
+  - `&&=` - logicalAndAssignment
+  - `&=` - bitwiseAndAssignment
+- `'` - singleStringBegin
+- `(` - groupingBegin
+- `)` - groupingEnd
+- `*` - multiplication
+  - `**` - exponential
+  - `**=` - exponentialAssignment
+  - `*/` - commentEnd
+  - `*=` - multiplicationAssignment
+- `+` - addition
+  - `++` - increment
+  - `+=` - additionAssignment
+- `,` - comma
+- `-` - subtraction
+  - `--` - decrement
+  - `-=` - subtractionAssignment
+- `.` - dot
+  - `...` - spread
+- `/` - division
+  - `/*` - commentBegin
+  - `/=` - divisionAssignment
+- `0..9` - numberBegin
+- `:` - colon
+- `;` - semicolon
+- `<` - less
+  - `<<` - leftShift
+  - `<<=` - leftShiftAssignment
+  - `<=` - lessEqual
+- `=` - assignment
+  - `==` - nonStrictEqual ?
+  - `===` - equal
+  - `=>` - arrow
+- `>` - greater
+  - `<=` - greaterEqual
+  - `>>` - rightShift
+  - `>>>` - unsignedRightShift
+  - `>>>=` unsignedRightShiftAssignment
+- `?` - question
+  - `?.` - optional chaining
+  - `??` - nullish coalescing
+- `A..Z` - idBegin
+  - `Infinity` - infinity
+  - `NaN` - nan
+- `[` - propertyBegin
+- `]` - propertyEnd`
+- `^` - bitwiseXor
+  - `^=` - bitwiseXorAssignment
+- `_` - idBegin
+- '`' - templateBegin
+- `a..z` - idBegin
+  - `async` ?
+  - `await` ?
+  - `break`
+  - `case`
+  - `catch`
+  - `class`
+  - `const`
+  - `continue`
+  - `debugger`
+  - `delete` ?
+  - `do` ?
+  - `else`
+  - `export`
+  - `exports` <= non-standard
+  - `false`
+  - `function` ?
+  - `globalThis` ?
+  - `for`
+  - `if`
+  - `import`
+  - `in`
+  - `instanceof`
+  - `let`
+  - `module` <= non-standard
+  - `new` ?
+  - `null`
+  - `of`
+  - `require`  <= non-standard
+  - `return`
+  - `super`
+  - `switch`
+  - `this` ?
+  - `throw`
+  - `true`
+  - `try`
+  - `typeof`
+  - `undefined`
+  - `var`
+  - `void`
+  - `while`
+  - `yield`
+- `{` - objectBegin
+- `|` - bitwiseOr
+  - `|=` - bitwiseOrAssignment
+  - `||` - logicalOr
+  - `||=` - logicalOrAssignment
+- `}` - objectEnd
+- `~` - bitwiseNot
+  - `~=` - bitwiseNotAssignment

package/fsc/module.f.cjs

@@ -1,4 +1,118 @@
-const ascii = require('../text/ascii/module.f.cjs')
+const operator = require('../types/function/operator/module.f.cjs')
+const range_map = require('../types/range_map/module.f.cjs')
+const { merge: rangeMapMerge, fromRange, get } = range_map
+const { reduce: listReduce } = require('../types/list/module.f.cjs')
+const { range: asciiRange } = require('../text/ascii/module.f.cjs')
+const { fromCharCode } = String
+const { fn } = require('../types/function/module.f.cjs')
+const list = require('../types/list/module.f.cjs')
+const _range = require('../types/range/module.f.cjs')
+const { one } = _range
+const { toArray, map } = list
+
+/** @typedef {readonly[readonly string[], ToResult]} Result */
+
+/** @typedef {(a: number) => Result} ToResult */
+
+/**
+ * @template T
+ * @typedef {(state: T) => ToResult} CreateToResult
+ */
+
+/**
+ * @template T
+ * @typedef {range_map.RangeMapArray<CreateToResult<T>>} State
+ */
+
+/** @type {ToResult} */
+const unknownSymbol = a => [[`unknown symbol ${a}`], unknownSymbol]
+
+/** @type {<T>(a: T) => ToResult} */
+const def = () => unknownSymbol
+
+/** @type {<T>(a: CreateToResult<T>) => (b: CreateToResult<T>) => CreateToResult<T>} */
+const union = a => b => {
+    if (a === def || a === b) { return b }
+    if (b === def) { return a }
+    throw [a, b]
+}
+
+/** @type {readonly never[]} */
+const empty = []
+
+/** @type {<T>(a: list.List<State<T>>) => State<T>} */
+const reduce = a => {
+    /** @typedef {typeof a extends list.List<State<infer T>> ? T : never} T */
+    /** @type {range_map.RangeMerge<CreateToResult<T>>} */
+    const merge = rangeMapMerge({
+        union,
+        equal: operator.strictEqual,
+    })
+    return toArray(listReduce(merge)(empty)(a))
+}
+
+
+const codePointRange = fromRange(def)
+
+const range = fn(asciiRange).then(codePointRange).result
+
+/** @type {(l: readonly string[]) => <T>(f: CreateToResult<T>) => State<T>} */
+const rangeSet = l => f => {
+    /** @typedef {typeof f extends CreateToResult<infer T> ? T : never} T */
+    /** @type {(a: _range.Range) => (f: CreateToResult<T>) => State<T>} */
+    const codePointRange = fromRange(def)
+    /** @type {(r: string) => State<T>} */
+    const g = r => codePointRange(asciiRange(r))(f)
+    return reduce(map(g)(l))
+}
+
+/** @type {<T>(a: list.List<State<T>>) => CreateToResult<T>} */
+const create = a => {
+    /** @typedef {typeof a extends list.List<State<infer T>> ? T : never} T */
+    const i = reduce(a)
+    /** @type {(v: number) => (i: State<T>) => (v: T) => ToResult} */
+    const x = get(def)
+    return v => c => x(c)(i)(v)(c)
+}
+
+const terminal = -1
+
+const init = create([
+    codePointRange(one(terminal))(() => () => [[], unknownSymbol]),
+    rangeSet(['\t', ' '])(() => () => [[' '], unknownSymbol]),
+    rangeSet(['\n', '\r'])(() => () => [['\n'], unknownSymbol]),
+    range('!')(() => () => [['!'], unknownSymbol]),
+    range('"')(() => () => [['"'], unknownSymbol]),
+    rangeSet(['$', '_', 'AZ', 'az'])(() => c => [[fromCharCode(c)], unknownSymbol]),
+    range('%')(() => () => [['%'], unknownSymbol]),
+    range('&')(() => () => [['&'], unknownSymbol]),
+    range("'")(() => () => [["'"], unknownSymbol]),
+    range('(')(() => () => [['('], unknownSymbol]),
+    range(')')(() => () => [[')'], unknownSymbol]),
+    range('*')(() => () => [['*'], unknownSymbol]),
+    range('+')(() => () => [['+'], unknownSymbol]),
+    range(',')(() => () => [[','], unknownSymbol]),
+    range('-')(() => () => [['-'], unknownSymbol]),
+    range('.')(() => () => [['.'], unknownSymbol]),
+    range('/')(() => () => [['/'], unknownSymbol]),
+    range('09')(() => a => [[fromCharCode(a)], unknownSymbol]),
+    range(':')(() => () => [[':'], unknownSymbol]),
+    range(';')(() => () => [[';'], unknownSymbol]),
+    range('<')(() => () => [['<'], unknownSymbol]),
+    range('=')(() => () => [['='], unknownSymbol]),
+    range('>')(() => () => [['>'], unknownSymbol]),
+    range('?')(() => () => [['?'], unknownSymbol]),
+    range('[')(() => () => [['['], unknownSymbol]),
+    range(']')(() => () => [[']'], unknownSymbol]),
+    range('^')(() => () => [['^'], unknownSymbol]),
+    range('`')(() => () => [['`'], unknownSymbol]),
+    range('{')(() => () => [['{'], unknownSymbol]),
+    range('|')(() => () => [['|'], unknownSymbol]),
+    range('}')(() => () => [['}'], unknownSymbol]),
+    range('~')(() => () => [['~'], unknownSymbol]),
+])
 
 module.exports = {
+    /** @readonly */
+    init,
 }

package/fsc/test.f.cjs

@@ -1,6 +1,18 @@
 const _ = require('./module.f.cjs')
+const { one } = require('../text/ascii/module.f.cjs')
+const { get } = require('../types/range_map/module.f.cjs')
+const { stringify } = require('../json/module.f.cjs')
+const s = stringify(i => i)
+
+/** @type {(v: string) => string} */
+const f = v => {
+    const n = one(v)
+    return s(_.init(undefined)(n)[0])
+}
 
 module.exports = {
     a: () => {
+        const x = f('1')
+        if (x != '["1"]') { throw x }
     }
 }

package/package.json

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

package/text/ascii/module.f.cjs

@@ -13,7 +13,9 @@ const one = s => at(s)(0)
 /** @type {(s: string) => _range.Range} */
 const range = s => {
     const f = at(s)
-    return [f(0), f(1)]
+    const f0 = f(0)
+    if (s.length === 1) { return [f0, f0] }
+    return [f0, f(1)]
 }
 
 module.exports = {

package/text/ascii/test.f.cjs

@@ -0,0 +1,12 @@
+const { range } = require('./module.f.cjs')
+const json = require('../../json/module.f.cjs')
+const { sort } = require('../../types/object/module.f.cjs')
+
+const stringify = json.stringify(sort)
+
+module.exports = {
+    range: () => {
+        const r = stringify(range("A"))
+        if (r !== '[65,65]') { throw r }
+    }
+}

package/text/utf8/test.f.cjs

@@ -3,8 +3,7 @@ const json = require('../../json/module.f.cjs')
 const { sort } = require('../../types/object/module.f.cjs')
 const { list } = require('../../types/module.f.cjs')
 
-/** @type {(a: readonly json.Unknown[]) => string} */
-const stringify = a => json.stringify(sort)(a)
+const stringify = json.stringify(sort)
 
 module.exports = {
     toCodePoint: [

package/types/range/module.f.cjs

@@ -3,7 +3,12 @@
 /** @type {(range: Range) => (i: number) => boolean} */
 const contains = ([b, e]) => i => b <= i && i <= e
 
+/** @type {(i: number) => Range} */
+const one = a => [a, a]
+
 module.exports = {
     /** @readonly */
     contains,
+    /** @readonly */
+    one,
 }

package/types/range_map/module.f.cjs

@@ -37,7 +37,7 @@ const _range = require('../range/module.f.cjs')
 
 /**
  * @template T
- * @typedef {(a: RangeMap<T>) => (b: RangeMap<T>) => RangeMap<T>} RangeMerge
+ * @typedef {operator.Reduce<RangeMap<T>>} RangeMerge
  */
 
 /** @type {<T>(union: operator.Reduce<T>) => (equal: operator.Equal<T>) => sortedList.ReduceOp<Entry<T>, RangeState<T>>} */

package/types/sorted_set/test.f.cjs

@@ -33,7 +33,7 @@ module.exports = {
     intersect: [
         () => {
             const result = stringify(toArray(_.intersect(unsafeCmp)([2, 3, 4])([1, 3, 5])))
-            console.log(result)
+            // console.log(result)
             if (result !== '[3]') { throw result }
         },
         () => {