functionalscript 0.0.472 → 0.0.474

package/com/cpp/README.md

@@ -0,0 +1,80 @@
+# COM C++ library
+
+## Example
+
+### `nanocom` library
+
+```cpp
+class IUnknown
+{
+public:
+    virtual HRESULT QueryInterface(GUID const &riid, IUnknown const **ppvObject) const noexcept = 0;
+    virtual ULONG AddRef() const noexcept = 0;
+    virtual ULONG Release() const noexcept = 0;
+protected:
+    IUnknown() {}
+private:
+    IUnknown(IUnknown const&);
+    IUnknown& operator=(IUnknown const &);
+};
+
+template<class I>
+class base: public I
+{
+public:
+    HRESULT QueryInterface(GUID const &riid, IUnknown const **ppvObject) const noexcept override { ... }
+    ULONG AddRef() const noexcept override { ... }
+    ULONG Release() const noexcept override { ... }
+};
+
+template<class I, class T>
+class impl;
+```
+
+### Generated
+
+```cpp
+class IAbc : public IUnknown
+{
+public:
+    constexpr static GUID const guid = GUID(...);
+    virtual IAbc* GetIAbc_() const noexcept = 0;
+    ref<IAbc> GetIAbc() const noexcept
+    {
+        return move_to_ref(GetIAbc_());
+    }
+protected:
+    IAbc() {}
+};
+
+template<class T>
+class impl<IAbc, T> : public base<IAbc>
+{
+public:
+    T value;
+    IAbc* GetIAbc_() const noexcept override
+    {
+        return IAbc_GetIAbc(*this).copy_to_ref();
+    }
+    template <class... U>
+    static ref<T> create(U... u)
+    {
+        T const *const p = new implementation(u...);
+        return to_ref(*p);
+    }
+private:
+    template <class... U>
+    explicit implementation(U... u) : value(u...) {}
+};
+```
+
+### Manually Written Code
+
+```cpp
+struct Abc {};
+
+ref<IAbc> IAbc_GetIAbc(impl<IAbc, Abc> const & self)
+{
+    return to_ref(self);
+}
+```

package/com/cpp/nanocom.hpp

@@ -75,6 +75,11 @@ namespace nanocom
         virtual HRESULT QueryInterface(GUID const &riid, IUnknown const **ppvObject) const noexcept = 0;
         virtual ULONG AddRef() const noexcept = 0;
         virtual ULONG Release() const noexcept = 0;
+    protected:
+        IUnknown() = default;
+    private:
+        IUnknown(IUnknown const&);
+        IUnknown& operator=(IUnknown const&);
     };
 
     template <class I>

package/com/test/cpp/main.cpp

@@ -53,6 +53,15 @@ public:
 DLL_EXPORT
 extern "C" My::IMy const *c_my_create()
 {
+    {
+        auto const a = ::nanocom::implementation<Impl>::create().copy_to_raw();
+        // auto const c = *x; // no copy constructor
+        Impl *b;
+        b = const_cast<Impl*>(::nanocom::implementation<Impl>::create().copy_to_raw());
+        // *b = *a; // no assignment operator
+        b->Release();
+        a->Release();
+    }
     {
         auto const x = ::nanocom::implementation<Impl>::create().copy_to_raw();
         x->Release();

package/fsm/module.f.cjs

@@ -1,5 +1,5 @@
 const list = require('../types/list/module.f.cjs')
-const { equal, isEmpty, fold, toArray, scan } = list
+const { equal, isEmpty, fold, toArray, scan, foldScan } = list
 const byteSet = require('../types/byte_set/module.f.cjs')
 const { toRangeMap } = byteSet
 const sortedSet = require('../types/sorted_set/module.f.cjs')
@@ -57,10 +57,22 @@ const addEntry = grammar => set => dfa => {
     return fold(addEntry(grammar))(newDfa)(newStates)
 }
 
+const initialState = ['']
+
+const initialStateStringify = stringifyIdentity(initialState)
+
 /** @type {(grammar: Grammar) => Dfa} */
-const dfa = grammar => addEntry(grammar)([''])({})
+const dfa = grammar => addEntry(grammar)(initialState)({})
+
+/** @type {(dfa: Dfa) => operator.Fold<number, string>} */
+const runOp = dfa => input => s => rangeMap.get(input)(dfa[s])
+
+/** @type {(dfa: Dfa) => (input: list.List<number>) => list.List<string>} */
+const run = dfa => input => foldScan(runOp(dfa))(initialStateStringify)(input)
 
 module.exports = {
     /** @readonly */
     dfa,
+    /** @readonly */
+    run
 }

package/fsm/test.f.cjs

@@ -3,39 +3,45 @@ const byteSet = require('../types/byte_set/module.f.cjs')
 const { sort, fromEntries } = require('../types/object/module.f.cjs')
 const json = require('../json/module.f.cjs')
 const { identity } = require('../types/function/module.f.cjs')
+const { toArray } = require('../types/list/module.f.cjs')
 
 /** @type {(c: string) => number} */
 const toCharCode = c => c.charCodeAt(0)
 
-module.exports = {
-    dfa: () => {
-        const lowercaseAlpha = byteSet.range([toCharCode('a'), toCharCode('z')])
-        const uppercaseAlpha = byteSet.range([toCharCode('A'), toCharCode('Z')])
-        const alpha = byteSet.union(lowercaseAlpha)(uppercaseAlpha)
-        const idSymbol = byteSet.union(byteSet.one(toCharCode('_')))(byteSet.one(toCharCode('$')))
-        const idBegin = byteSet.union(alpha)(idSymbol)
-        const digit = byteSet.range([toCharCode('0'), toCharCode('9')])
-        const idNext = byteSet.union(idBegin)(digit)
-        const dot = byteSet.one(toCharCode('.'))
+const stringifyIdentity = json.stringify(identity)
 
-        /** @type {_.Grammar} */
-        const grammar = [
-            ['', digit, 'int'],
-            ['int', digit, 'int'],
-            ['', digit, 'floatBegin'],
-            ['floatBegin', digit, 'floatBegin'],
-            ['floatBegin', dot, 'floatDot'],
-            ['floatDot', digit, 'float'],
-            ['float', digit, 'float'],
-            ['', idBegin, 'id'],
-            ['id', idNext, 'id']
-        ]
+const buildDfa = () => {
+    const lowercaseAlpha = byteSet.range([toCharCode('a'), toCharCode('z')])
+    const uppercaseAlpha = byteSet.range([toCharCode('A'), toCharCode('Z')])
+    const alpha = byteSet.union(lowercaseAlpha)(uppercaseAlpha)
+    const idSymbol = byteSet.union(byteSet.one(toCharCode('_')))(byteSet.one(toCharCode('$')))
+    const idBegin = byteSet.union(alpha)(idSymbol)
+    const digit = byteSet.range([toCharCode('0'), toCharCode('9')])
+    const idNext = byteSet.union(idBegin)(digit)
+    const dot = byteSet.one(toCharCode('.'))
+
+    /** @type {_.Grammar} */
+    const grammar = [
+        ['', digit, 'int'],
+        ['int', digit, 'int'],
+        ['', digit, 'floatBegin'],
+        ['floatBegin', digit, 'floatBegin'],
+        ['floatBegin', dot, 'floatDot'],
+        ['floatDot', digit, 'float'],
+        ['float', digit, 'float'],
+        ['', idBegin, 'id'],
+        ['id', idNext, 'id']
+    ]
+    return _.dfa(grammar)
+}
 
-        const dfa = _.dfa(grammar)
+module.exports = {
+    dfa: () => {
+        const dfa = buildDfa()
         const entries = Object.entries(dfa)
         const sortedEntries = sort(entries)
         const obj = fromEntries(sortedEntries)
-        const result = json.stringify(identity)(obj)
+        const result = stringifyIdentity(obj)
 
         const expectedObj = {
             '[""]': [
@@ -72,8 +78,35 @@ module.exports = {
             ],
             '[]': []
         };
-        const expectedResult = json.stringify(identity)(expectedObj)
+        const expectedResult = stringifyIdentity(expectedObj)
 
         if (result !== expectedResult) {throw result }
-    }
+    },
+    run: [
+        () => {
+            const dfa = buildDfa()
+            const input = [toCharCode('a'), toCharCode('1')]
+            const result = stringifyIdentity(toArray(_.run(dfa)(input)))
+
+            const expectedOutput = [
+                '["id"]',
+                '["id"]'
+            ]
+            const expectedResult = stringifyIdentity(expectedOutput)
+            if (result !== expectedResult) { throw result }
+        },
+        () => {
+            const dfa = buildDfa()
+            const input = [toCharCode('0'), toCharCode('.'), toCharCode('1')]
+            const result = stringifyIdentity(toArray(_.run(dfa)(input)))
+
+            const expectedOutput = [
+                '["floatBegin","int"]',
+                '["floatDot"]',
+                '["float"]'
+            ]
+            const expectedResult = stringifyIdentity(expectedOutput)
+            if (result !== expectedResult) { throw result }
+        },
+    ]
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.472",
+  "version": "0.0.474",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "module.f.cjs",
   "scripts": {
@@ -31,6 +31,6 @@
   "homepage": "https://github.com/functionalscript/functionalscript#readme",
   "devDependencies": {
     "@types/node": "^18.11.9",
-    "typescript": "^4.8.4"
+    "typescript": "^4.9.3"
   }
 }

package/types/range_map/module.f.cjs

@@ -60,7 +60,32 @@ const tailReduce = equal => state => tail => {
  /** @type {<T>(op: Operators<T>) => RangeMerge<T>} */
 const merge = ({union, equal}) => genericMerge({reduceOp: reduceOp(union)(equal), tailReduce: tailReduce(equal)})(undefined)
 
+/** @type {<T>(value: number) => (rm: RangeMapArray<T>) =>  T|undefined} */
+const get = value => rm => {
+  let b = 0
+  let e = rm.length - 1
+  while (true) {
+    if (b >= rm.length) return undefined
+    if (e - b < 0) return rm[b][0]
+    const mid = b + (e - b >> 1)
+    const sign = cmp(value)(rm[mid][1])
+    switch(sign) {
+      case -1: {
+        e = mid - 1
+        break
+      }
+      case 0: { return rm[mid][0] }
+      case 1: {
+        b = mid + 1
+        break
+      }
+    }
+  }
+}
+
 module.exports = {
     /** @readonly */
-    merge
+    merge,
+    /** @readonly */
+    get
 }

package/types/range_map/test.f.cjs

@@ -77,5 +77,55 @@ module.exports = {
             const result = stringify(list.toArray(merged))
             if (result !== '[[["a"],1],[["a","b"],2],[["a"],5]]') { throw result }
         }
+    ],
+    get: [
+        () => {
+            /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
+            const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
+            const result = stringify(_.get(5)(rm))
+            if (result !== '["a"]') { throw result }
+        },
+        () => {
+            /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
+            const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
+            const result = stringify(_.get(10)(rm))
+            if (result !== '["a"]') { throw result }
+        },
+        () => {
+            /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
+            const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
+            const result = stringify(_.get(15)(rm))
+            if (result !== '["b"]') { throw result }
+        },
+        () => {
+            /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
+            const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
+            const result = stringify(_.get(20)(rm))
+            if (result !== '["b"]') { throw result }
+        },
+        () => {
+            /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
+            const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
+            const result = stringify(_.get(25)(rm))
+            if (result !== '["c"]') { throw result }
+        },
+        () => {
+            /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
+            const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
+            const result = stringify(_.get(30)(rm))
+            if (result !== '["c"]') { throw result }
+        },
+        () => {
+            /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
+            const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
+            const result = _.get(35)(rm)
+            if (result !== undefined) { throw result }
+        },
+        () => {
+            /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
+            const rm = []
+            const result = _.get(10)(rm)
+            if (result !== undefined) { throw result }
+        }
     ]
 }

package/.vscode/launch.json

@@ -1,17 +0,0 @@
-{
-    // Use IntelliSense to learn about possible attributes.
-    // Hover to view descriptions of existing attributes.
-    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
-    "version": "0.2.0",
-    "configurations": [
-        {
-            "type": "pwa-node",
-            "request": "launch",
-            "name": "Launch Program",
-            "skipFiles": [
-                "<node_internals>/**"
-            ],
-            "program": "${workspaceFolder}\\test.js"
-        }
-    ]
-}

package/.vscode/tasks.json

@@ -1,41 +0,0 @@
-{
-    "version": "2.0.0",
-    "tasks": [
-        {
-            "label": "build",
-            "command": "dotnet",
-            "type": "process",
-            "args": [
-                "build",
-                "${workspaceFolder}/com/cs/test/test.csproj",
-                "/property:GenerateFullPaths=true",
-                "/consoleloggerparameters:NoSummary"
-            ],
-            "problemMatcher": "$msCompile"
-        },
-        {
-            "label": "publish",
-            "command": "dotnet",
-            "type": "process",
-            "args": [
-                "publish",
-                "${workspaceFolder}/com/cs/test/test.csproj",
-                "/property:GenerateFullPaths=true",
-                "/consoleloggerparameters:NoSummary"
-            ],
-            "problemMatcher": "$msCompile"
-        },
-        {
-            "label": "watch",
-            "command": "dotnet",
-            "type": "process",
-            "args": [
-                "watch",
-                "run",
-                "--project",
-                "${workspaceFolder}/com/cs/test/test.csproj"
-            ],
-            "problemMatcher": "$msCompile"
-        }
-    ]
-}