chore: update software versions, switch to tpsc, isolate bug

.gitignore

@@ -2,7 +2,7 @@
 *~
 # Typescript
 # emitted code
-obj
+build
 
 # ---> Node
 # Logs

README.md

@@ -5,6 +5,8 @@ A final (?) prototype for a refactor of mathjs, culminating the picomath, pocoma
 To build and run the prototype, run:
 
 ```
-npx tsc
-node obj
+pnpm install
+pnpm build-and-run
 ```
+
+This will execute the code in the file `src/index.ts`. You can run another source file like `src/isolate_bug.ts` by doing the above and then executing `node build/isolate_bug.js`.

package.json5

@@ -4,6 +4,7 @@
    description: 'A hopeful final typescipt-pragmatic mathjs proof-of-concept',
    main: 'index.ts',
    scripts: {
+      'build-and-run': 'tspc -b && node build',
       test: 'echo "Error: no test specified" && exit 1',
    },
    keywords: [
@@ -17,7 +18,14 @@
       type: 'git',
       url: 'https://code.studioinfinity.org/glen/typocomath.git',
    },
+   dependencies: {
+      'reflect-metadata': '0.1.13',
+      'ts-patch': '^3.0.2',
+      'typescript-rtti': '0.9.6',
+   },
    devDependencies: {
-      typescript: '^4.9.3',
+      '@types/node': '20.5.0',
+      'ts-node': '10.9.1',
+      typescript: '5.1.6',
    },
 }

pnpm-lock.yaml

@@ -1,15 +1,309 @@
-lockfileVersion: 5.4
+lockfileVersion: '6.0'
 
-specifiers:
-  typescript: ^4.9.3
+settings:
+  autoInstallPeers: true
+  excludeLinksFromLockfile: false
+
+dependencies:
+  reflect-metadata:
+    specifier: 0.1.13
+    version: 0.1.13
+  ts-patch:
+    specifier: ^3.0.2
+    version: 3.0.2
+  typescript-rtti:
+    specifier: 0.9.6
+    version: 0.9.6(reflect-metadata@0.1.13)(typescript@5.1.6)
 
 devDependencies:
-  typescript: 4.9.3
+  '@types/node':
+    specifier: 20.5.0
+    version: 20.5.0
+  ts-node:
+    specifier: 10.9.1
+    version: 10.9.1(@types/node@20.5.0)(typescript@5.1.6)
+  typescript:
+    specifier: 5.1.6
+    version: 5.1.6
 
 packages:
 
-  /typescript/4.9.3:
-    resolution: {integrity: sha512-CIfGzTelbKNEnLpLdGFgdyKhG23CKdKgQPOBc+OUNrkJ2vr+KSzsSV5kq5iWhEQbok+quxgGzrAtGWCyU7tHnA==}
-    engines: {node: '>=4.2.0'}
+  /@cspotcode/source-map-support@0.8.1:
+    resolution: {integrity: sha512-IchNf6dN4tHoMFIn/7OE8LWZ19Y6q/67Bmf6vnGREv8RSbBVb9LPJxEcnwrcwX6ixSvaiGoomAUvu4YSxXrVgw==}
+    engines: {node: '>=12'}
+    dependencies:
+      '@jridgewell/trace-mapping': 0.3.9
+    dev: true
+
+  /@jridgewell/resolve-uri@3.1.0:
+    resolution: {integrity: sha512-F2msla3tad+Mfht5cJq7LSXcdudKTWCVYUgw6pLFOOHSTtZlj6SWNYAp+AhuqLmWdBO2X5hPrLcu8cVP8fy28w==}
+    engines: {node: '>=6.0.0'}
+    dev: true
+
+  /@jridgewell/sourcemap-codec@1.4.14:
+    resolution: {integrity: sha512-XPSJHWmi394fuUuzDnGz1wiKqWfo1yXecHQMRf2l6hztTO+nPru658AyDngaBe7isIxEkRsPR3FZh+s7iVa4Uw==}
+    dev: true
+
+  /@jridgewell/trace-mapping@0.3.9:
+    resolution: {integrity: sha512-3Belt6tdc8bPgAtbcmdtNJlirVoTmEb5e2gC94PnkwEW9jI6CAHUeoG85tjWP5WquqfavoMtMwiG4P926ZKKuQ==}
+    dependencies:
+      '@jridgewell/resolve-uri': 3.1.0
+      '@jridgewell/sourcemap-codec': 1.4.14
+    dev: true
+
+  /@tsconfig/node10@1.0.9:
+    resolution: {integrity: sha512-jNsYVVxU8v5g43Erja32laIDHXeoNvFEpX33OK4d6hljo3jDhCBDhx5dhCCTMWUojscpAagGiRkBKxpdl9fxqA==}
+    dev: true
+
+  /@tsconfig/node12@1.0.11:
+    resolution: {integrity: sha512-cqefuRsh12pWyGsIoBKJA9luFu3mRxCA+ORZvA4ktLSzIuCUtWVxGIuXigEwO5/ywWFMZ2QEGKWvkZG1zDMTag==}
+    dev: true
+
+  /@tsconfig/node14@1.0.3:
+    resolution: {integrity: sha512-ysT8mhdixWK6Hw3i1V2AeRqZ5WfXg1G43mqoYlM2nc6388Fq5jcXyr5mRsqViLx/GJYdoL0bfXD8nmF+Zn/Iow==}
+    dev: true
+
+  /@tsconfig/node16@1.0.3:
+    resolution: {integrity: sha512-yOlFc+7UtL/89t2ZhjPvvB/DeAr3r+Dq58IgzsFkOAvVC6NMJXmCGjbptdXdR9qsX7pKcTL+s87FtYREi2dEEQ==}
+    dev: true
+
+  /@types/node@20.5.0:
+    resolution: {integrity: sha512-Mgq7eCtoTjT89FqNoTzzXg2XvCi5VMhRV6+I2aYanc6kQCBImeNaAYRs/DyoVqk1YEUJK5gN9VO7HRIdz4Wo3Q==}
+    dev: true
+
+  /acorn-walk@8.2.0:
+    resolution: {integrity: sha512-k+iyHEuPgSw6SbuDpGQM+06HQUa04DZ3o+F6CSzXMvvI5KMvnaEqXe+YVe555R9nn6GPt404fos4wcgpw12SDA==}
+    engines: {node: '>=0.4.0'}
+    dev: true
+
+  /acorn@8.8.2:
+    resolution: {integrity: sha512-xjIYgE8HBrkpd/sJqOGNspf8uHG+NOHGOw6a/Urj8taM2EXfdNAH2oFcPeIFfsv3+kz/mJrS5VuMqbNLjCa2vw==}
+    engines: {node: '>=0.4.0'}
     hasBin: true
     dev: true
+
+  /ansi-regex@5.0.1:
+    resolution: {integrity: sha512-quJQXlTSUGL2LH9SUXo8VwsY4soanhgo6LNSm84E1LBcE8s3O0wpdiRzyR9z/ZZJMlMWv37qOOb9pdJlMUEKFQ==}
+    engines: {node: '>=8'}
+    dev: false
+
+  /ansi-styles@4.3.0:
+    resolution: {integrity: sha512-zbB9rCJAT1rbjiVDb2hqKFHNYLxgtk8NURxZ3IZwD3F6NtxbXZQCnnSi1Lkx+IDohdPlFp222wVALIheZJQSEg==}
+    engines: {node: '>=8'}
+    dependencies:
+      color-convert: 2.0.1
+    dev: false
+
+  /arg@4.1.3:
+    resolution: {integrity: sha512-58S9QDqG0Xx27YwPSt9fJxivjYl432YCwfDMfZ+71RAqUrZef7LrKQZ3LHLOwCS4FLNBplP533Zx895SeOCHvA==}
+    dev: true
+
+  /chalk@4.1.2:
+    resolution: {integrity: sha512-oKnbhFyRIXpUuez8iBMmyEa4nbj4IOQyuhc/wy9kY7/WVPcwIO9VA668Pu8RkO7+0G76SLROeyw9CpQ061i4mA==}
+    engines: {node: '>=10'}
+    dependencies:
+      ansi-styles: 4.3.0
+      supports-color: 7.2.0
+    dev: false
+
+  /color-convert@2.0.1:
+    resolution: {integrity: sha512-RRECPsj7iu/xb5oKYcsFHSppFNnsj/52OVTRKb4zP5onXwVF3zVmmToNcOfGC+CRDpfK/U584fMg38ZHCaElKQ==}
+    engines: {node: '>=7.0.0'}
+    dependencies:
+      color-name: 1.1.4
+    dev: false
+
+  /color-name@1.1.4:
+    resolution: {integrity: sha512-dOy+3AuW3a2wNbZHIuMZpTcgjGuLU/uBL/ubcZF9OXbDo8ff4O8yVp5Bf0efS8uEoYo5q4Fx7dY9OgQGXgAsQA==}
+    dev: false
+
+  /create-require@1.1.1:
+    resolution: {integrity: sha512-dcKFX3jn0MpIaXjisoRvexIJVEKzaq7z2rZKxf+MSr9TkdmHmsU4m2lcLojrj/FHl8mk5VxMmYA+ftRkP/3oKQ==}
+    dev: true
+
+  /diff@4.0.2:
+    resolution: {integrity: sha512-58lmxKSA4BNyLz+HHMUzlOEpg09FV+ev6ZMe3vJihgdxzgcwZ8VoEEPmALCZG9LmqfVoNMMKpttIYTVG6uDY7A==}
+    engines: {node: '>=0.3.1'}
+    dev: true
+
+  /function-bind@1.1.1:
+    resolution: {integrity: sha512-yIovAzMX49sF8Yl58fSCWJ5svSLuaibPxXQJFLmBObTuCr0Mf1KiPopGM9NiFjiYBCbfaa2Fh6breQ6ANVTI0A==}
+    dev: false
+
+  /global-prefix@3.0.0:
+    resolution: {integrity: sha512-awConJSVCHVGND6x3tmMaKcQvwXLhjdkmomy2W+Goaui8YPgYgXJZewhg3fWC+DlfqqQuWg8AwqjGTD2nAPVWg==}
+    engines: {node: '>=6'}
+    dependencies:
+      ini: 1.3.8
+      kind-of: 6.0.3
+      which: 1.3.1
+    dev: false
+
+  /has-flag@4.0.0:
+    resolution: {integrity: sha512-EykJT/Q1KjTWctppgIAgfSO0tKVuZUjhgMr17kqTumMl6Afv3EISleU7qZUzoXDFTAHTDC4NOoG/ZxU3EvlMPQ==}
+    engines: {node: '>=8'}
+    dev: false
+
+  /has@1.0.3:
+    resolution: {integrity: sha512-f2dvO0VU6Oej7RkWJGrehjbzMAjFp5/VKPp5tTpWIV4JHHZK1/BxbFRtf/siA2SWTe09caDmVtYYzWEIbBS4zw==}
+    engines: {node: '>= 0.4.0'}
+    dependencies:
+      function-bind: 1.1.1
+    dev: false
+
+  /ini@1.3.8:
+    resolution: {integrity: sha512-JV/yugV2uzW5iMRSiZAyDtQd+nxtUnjeLt0acNdw98kKLrvuRVyB80tsREOE7yvGVgalhZ6RNXCmEHkUKBKxew==}
+    dev: false
+
+  /is-core-module@2.13.0:
+    resolution: {integrity: sha512-Z7dk6Qo8pOCp3l4tsX2C5ZVas4V+UxwQodwZhLopL91TX8UyyHEXafPcyoeeWuLrwzHcr3igO78wNLwHJHsMCQ==}
+    dependencies:
+      has: 1.0.3
+    dev: false
+
+  /isexe@2.0.0:
+    resolution: {integrity: sha512-RHxMLp9lnKHGHRng9QFhRCMbYAcVpn69smSGcq3f36xjgVVWThj4qqLbTLlq7Ssj8B+fIQ1EuCEGI2lKsyQeIw==}
+    dev: false
+
+  /kind-of@6.0.3:
+    resolution: {integrity: sha512-dcS1ul+9tmeD95T+x28/ehLgd9mENa3LsvDTtzm3vyBEO7RPptvAD+t44WVXaUjTBRcrpFeFlC8WCruUR456hw==}
+    engines: {node: '>=0.10.0'}
+    dev: false
+
+  /lru-cache@6.0.0:
+    resolution: {integrity: sha512-Jo6dJ04CmSjuznwJSS3pUeWmd/H0ffTlkXXgwZi+eq1UCmqQwCh+eLsYOYCwY991i2Fah4h1BEMCx4qThGbsiA==}
+    engines: {node: '>=10'}
+    dependencies:
+      yallist: 4.0.0
+    dev: false
+
+  /make-error@1.3.6:
+    resolution: {integrity: sha512-s8UhlNe7vPKomQhC1qFelMokr/Sc3AgNbso3n74mVPA5LTZwkB9NlXf4XPamLxJE8h0gh73rM94xvwRT2CVInw==}
+    dev: true
+
+  /minimist@1.2.8:
+    resolution: {integrity: sha512-2yyAR8qBkN3YuheJanUpWC5U3bb5osDywNB8RzDVlDwDHbocAJveqqj1u8+SVD7jkWT4yvsHCpWqqWqAxb0zCA==}
+    dev: false
+
+  /path-parse@1.0.7:
+    resolution: {integrity: sha512-LDJzPVEEEPR+y48z93A0Ed0yXb8pAByGWo/k5YYdYgpY2/2EsOsksJrq7lOHxryrVOn1ejG6oAp8ahvOIQD8sw==}
+    dev: false
+
+  /reflect-metadata@0.1.13:
+    resolution: {integrity: sha512-Ts1Y/anZELhSsjMcU605fU9RE4Oi3p5ORujwbIKXfWa+0Zxs510Qrmrce5/Jowq3cHSZSJqBjypxmHarc+vEWg==}
+    dev: false
+
+  /resolve@1.22.4:
+    resolution: {integrity: sha512-PXNdCiPqDqeUou+w1C2eTQbNfxKSuMxqTCuvlmmMsk1NWHL5fRrhY6Pl0qEYYc6+QqGClco1Qj8XnjPego4wfg==}
+    hasBin: true
+    dependencies:
+      is-core-module: 2.13.0
+      path-parse: 1.0.7
+      supports-preserve-symlinks-flag: 1.0.0
+    dev: false
+
+  /semver@7.5.4:
+    resolution: {integrity: sha512-1bCSESV6Pv+i21Hvpxp3Dx+pSD8lIPt8uVjRrxAUt/nbswYc+tK6Y2btiULjd4+fnq15PX+nqQDC7Oft7WkwcA==}
+    engines: {node: '>=10'}
+    hasBin: true
+    dependencies:
+      lru-cache: 6.0.0
+    dev: false
+
+  /strip-ansi@6.0.1:
+    resolution: {integrity: sha512-Y38VPSHcqkFrCpFnQ9vuSXmquuv5oXOKpGeT6aGrr3o3Gc9AlVa6JBfUSOCnbxGGZF+/0ooI7KrPuUSztUdU5A==}
+    engines: {node: '>=8'}
+    dependencies:
+      ansi-regex: 5.0.1
+    dev: false
+
+  /supports-color@7.2.0:
+    resolution: {integrity: sha512-qpCAvRl9stuOHveKsn7HncJRvv501qIacKzQlO/+Lwxc9+0q2wLyv4Dfvt80/DPn2pqOBsJdDiogXGR9+OvwRw==}
+    engines: {node: '>=8'}
+    dependencies:
+      has-flag: 4.0.0
+    dev: false
+
+  /supports-preserve-symlinks-flag@1.0.0:
+    resolution: {integrity: sha512-ot0WnXS9fgdkgIcePe6RHNk1WA8+muPa6cSjeR3V8K27q9BB1rTE3R1p7Hv0z1ZyAc8s6Vvv8DIyWf681MAt0w==}
+    engines: {node: '>= 0.4'}
+    dev: false
+
+  /ts-node@10.9.1(@types/node@20.5.0)(typescript@5.1.6):
+    resolution: {integrity: sha512-NtVysVPkxxrwFGUUxGYhfux8k78pQB3JqYBXlLRZgdGUqTO5wU/UyHop5p70iEbGhB7q5KmiZiU0Y3KlJrScEw==}
+    hasBin: true
+    peerDependencies:
+      '@swc/core': '>=1.2.50'
+      '@swc/wasm': '>=1.2.50'
+      '@types/node': '*'
+      typescript: '>=2.7'
+    peerDependenciesMeta:
+      '@swc/core':
+        optional: true
+      '@swc/wasm':
+        optional: true
+    dependencies:
+      '@cspotcode/source-map-support': 0.8.1
+      '@tsconfig/node10': 1.0.9
+      '@tsconfig/node12': 1.0.11
+      '@tsconfig/node14': 1.0.3
+      '@tsconfig/node16': 1.0.3
+      '@types/node': 20.5.0
+      acorn: 8.8.2
+      acorn-walk: 8.2.0
+      arg: 4.1.3
+      create-require: 1.1.1
+      diff: 4.0.2
+      make-error: 1.3.6
+      typescript: 5.1.6
+      v8-compile-cache-lib: 3.0.1
+      yn: 3.1.1
+    dev: true
+
+  /ts-patch@3.0.2:
+    resolution: {integrity: sha512-iTg8euqiNsNM1VDfOsVIsP0bM4kAVXU38n7TGQSkky7YQX/syh6sDPIRkvSS0HjT8ZOr0pq1h+5Le6jdB3hiJQ==}
+    hasBin: true
+    dependencies:
+      chalk: 4.1.2
+      global-prefix: 3.0.0
+      minimist: 1.2.8
+      resolve: 1.22.4
+      semver: 7.5.4
+      strip-ansi: 6.0.1
+    dev: false
+
+  /typescript-rtti@0.9.6(reflect-metadata@0.1.13)(typescript@5.1.6):
+    resolution: {integrity: sha512-tDv7FfdiMqlOIhkbOiVBDvu+ufF49GLoccaDFXFELko79w2CwJMVUEiZxPpHNG0q/9s+CCbFv/4Pf2uPl2+5CQ==}
+    engines: {node: '>=10'}
+    peerDependencies:
+      reflect-metadata: ^0.1.13
+      typescript: 4.8 || 4.9 || 5.0 || 5.1
+    dependencies:
+      reflect-metadata: 0.1.13
+      typescript: 5.1.6
+    dev: false
+
+  /typescript@5.1.6:
+    resolution: {integrity: sha512-zaWCozRZ6DLEWAWFrVDz1H6FVXzUSfTy5FUMWsQlU8Ym5JP9eO4xkTIROFCQvhQf61z6O/G6ugw3SgAnvvm+HA==}
+    engines: {node: '>=14.17'}
+    hasBin: true
+
+  /v8-compile-cache-lib@3.0.1:
+    resolution: {integrity: sha512-wa7YjyUGfNZngI/vtK0UHAN+lgDCxBPCylVXGp0zu59Fz5aiGtNXaq3DhIov063MorB+VfufLh3JlF2KdTK3xg==}
+    dev: true
+
+  /which@1.3.1:
+    resolution: {integrity: sha512-HxJdYWq1MTIQbJ3nw0cqssHoTNU267KlrDuGZ1WYlxDStUtKUhOaJmh112/TZmHxxUfuJqPXSOm7tDyas0OSIQ==}
+    hasBin: true
+    dependencies:
+      isexe: 2.0.0
+    dev: false
+
+  /yallist@4.0.0:
+    resolution: {integrity: sha512-3wdGidZyq5PB084XLES5TpOSRA3wjXAlIWMhum2kRcv/41Sn2emQ0dycQW4uZXLejwKvg6EsvbdlVL+FYEct7A==}
+    dev: false
+
+  /yn@3.1.1:
+    resolution: {integrity: sha512-Ux4ygGWsu2c7isFWe8Yu1YluJmqVhxqK2cLXNQA5AcC3QfbGNpM7fu0Y8b/z16pXLnFxZYvWhd3fhBY9DLmC6Q==}
+    engines: {node: '>=6'}
+    dev: true

src/Complex/all.ts

@@ -1,6 +1,2 @@
-import * as Complex from './native.js'
-import * as complex from './arithmetic.js'
-
-export { complex }
-
-export {Complex}
+export * as Complex from './native.js'
+export * as complex from './arithmetic.js'

src/core/Dispatcher.ts

@@ -1,3 +1,6 @@
+import "reflect-metadata"
+import { reflect, type CallSite } from 'typescript-rtti'
+
 /* A Dispatcher is a collection of operations that do run-time
  * dispatch on the types of their arguments. Thus, every individual
  * method is like a typed-function (from the library by that name),
@@ -46,6 +49,10 @@ export class Dispatcher {
       // that's really possible, though.
    ) {
       console.log('Pretending to install', name, signature, '=>', returns)
+
+      // @ts-ignore
+      console.log(name, 'signature', reflect(signature))
+      console.log(name, 'dependencies', reflect(dependencies))
       //TODO: implement me
    }
    installType(name: TypeName, typespec: TypeSpecification) {

src/index.ts

@@ -1,11 +1,89 @@
+import 'reflect-metadata'
+
 import {Dispatcher} from './core/Dispatcher.js'
-import * as Specifications from './all.js'
-
-export default new Dispatcher(Specifications)
-
+import * as specifications from './all.js'
 import {Complex} from './Complex/type.js'
 import {absquare as absquare_complex} from './Complex/arithmetic.js'
 
+import { CallSite, ReflectedObjectRef, reflect } from 'typescript-rtti'
+import { square } from './generic/arithmetic.js'
+
+// verify that typescript-rtti works (just as experiment)
+const add = (a: number, b: number): number => a + b
+console.log('reflect add')
+console.log('parameterNames', reflect(add).parameterNames)
+console.log('parameterTypes', reflect(add).parameterTypes.map(type => type.toString()))
+console.log('returnType', reflect(add).returnType.toString())
+console.log()
+// output:
+//   reflect function add
+//   parameterNames [ 'a', 'b' ]
+//   parameterTypes [ 'class Number', 'class Number' ]
+//   returnType class Number
+
+// try out a very simple case (just as experiment)
+function createSquare(deps: {
+   multiply: (a: number, b: number) => number,
+   subtract: (a: number, b: number) => number
+}) {
+   return (a: number) => deps.multiply(a, a)
+}
+console.log('reflect createSquare')
+console.log('parameter names', reflect(createSquare).parameters.map(parameter => parameter.name))
+// console.log('parameter[0]', (reflect(createSquare).parameters[0] as ReflectedFunctionParameter))
+// @ts-ignore
+console.log('parameterTypes[0]', (reflect(createSquare).parameterTypes[0] as ReflectedObjectRef)._ref.m)
+console.log('parameterTypes[0].ref.m[0]',
+   // @ts-ignore
+   (reflect(createSquare).parameterTypes[0] as ReflectedObjectRef)._ref.m[0].n,
+   // @ts-ignore
+   (reflect(createSquare).parameterTypes[0] as ReflectedObjectRef)._ref.m[0]
+)
+console.log('parameterTypes[0].ref.m[0].t.m',
+    // @ts-ignore
+    (reflect(createSquare).parameterTypes[0] as ReflectedObjectRef)._ref.m[0].t.m
+)
+// @ts-ignore
+// console.log('parameters[0]', reflect(createSquare).parameters[0])
+// FIXME: where to find the information of the types of the dependencies multiply and subtract?
+
+// Test whether we loose the type information when casting to a generic interface
+// Conclusion: we keep the information, that is good.
+console.log()
+console.log('reflect createFunction')
+type MathjsDependencies = Record<string, Function>
+type MathjsCreateFunction = (deps: MathjsDependencies) => Function
+const createFunction: MathjsCreateFunction = createSquare as MathjsCreateFunction
+console.log('parameter names', reflect(createFunction).parameters.map(parameter => parameter.name))
+// @ts-ignore
+console.log('parameterTypes[0]', (reflect(createFunction).parameterTypes[0] as ReflectedObjectRef)._ref.m)
+
+// TODO: more specific definition of Specifications
+type Specifications = Record<string, Record<string, unknown>>
+
+console.log()
+console.log('CallSite')
+function reflectSpecifications<T>(specifications: Specifications, callSite? : CallSite) {
+    console.log('specifications', reflect(callSite).parameters[0])
+    // @ts-ignore
+    console.log('specifications', reflect(callSite).parameters[0]._ref) // shows 'numbers', 'Complex, 'complex', 'generic'
+    // @ts-ignore
+    console.log('specifications', reflect(callSite).parameters[0]._ref.m
+        .find(item => item.n === 'generic').t.m) // shows 'square', 'unequal'
+    // @ts-ignore
+    console.log('specifications', reflect(callSite).parameters[0]._ref.m
+        .find(item => item.n === 'generic').t.m
+        .find(item => item.n === 'square').t.p) // [ { n: 'dep', t: [Function: t], b: undefined, v: null } ]
+    // @ts-ignore
+    // FIXME: now, we should be able to get the signature of the multiply dependency of the function square, but how?
+}
+reflectSpecifications<Specifications>(specifications);
+
+
+// TODO: import all specifications (turned off for debugging purposes)
+// export default new Dispatcher(Specifications)
+
+
 const mockRealAdd = (a: number, b: number) => a+b
 const mockComplexAbsquare = (z: Complex<number>) => z.re*z.re + z.im*z.im
 
@@ -17,4 +95,5 @@ const quatAbsquare = absquare_complex({
 const myabs = quatAbsquare({re: {re: 0, im: 1}, im: {re:2, im: 3}})
 const typeTest: typeof myabs = 7 // check myabs is just a number
 
+console.log()
 console.log('Result is', myabs)

src/isolate_bug.ts

@@ -0,0 +1,32 @@
+import 'reflect-metadata'
+import { reflect } from 'typescript-rtti'
+
+// function with inline object type argument
+
+function mangle(deps: {
+   factor: number,
+   label: string
+}) {
+   return (a: number) => deps.label + (deps.factor*a)
+}
+
+console.log('Mangling', mangle({factor: 2, label: 'doubled: '})(7))
+let mdeptype = reflect(mangle).getParameter('deps').type
+console.log("Deps type:", mdeptype)
+console.log("    Readable:", mdeptype.toString())
+
+// Above seems to work. However, if the object has a function member,
+// it seems to lose the type of that member:
+
+function bungle(deps: {
+   factor: (i: number) => number,
+   label: string
+}) {
+   return (a: number) => deps.label + (deps.factor(2)*a)
+}
+
+let fn = (i:number) => 3*i
+console.log("\nBungling", bungle({factor: fn, label:'hextupled: '})(7))
+let bdeptype = reflect(bungle).getParameter('deps').type
+console.log("Deps type:", bdeptype)
+console.log("    Readable:", bdeptype.toString())

src/numbers/all.ts

@@ -1,3 +1 @@
-import * as numbers from './native.js'
-
-export {numbers}
+export * as numbers from './native.js'

src/numbers/arithmetic.ts

@@ -10,7 +10,7 @@ export const absquare:   Signature<'absquare',   number> = a => a * a
 export const reciprocal: Signature<'reciprocal', number> = a => 1 / a
 export const divide:     Signature<'divide',     number> = (a, b) => a / b
 
-const basicSqrt = a => isNaN(a) ? NaN : Math.sqrt(a)
+const basicSqrt = (a: number) => isNaN(a) ? NaN : Math.sqrt(a)
 export const conservativeSqrt: Signature<'conservativeSqrt', number> = basicSqrt
 
 export const sqrt =

tsconfig.json

@@ -2,6 +2,16 @@
     "compilerOptions": {
         "target": "ES2022",
         "rootDir": "./src",
-        "outDir": "./obj"
+        "outDir": "./build",
+        "esModuleInterop": true,
+        "allowJs": false,
+        "noImplicitAny": false,
+        "moduleResolution": "Node",
+        "module": "commonjs",
+        "plugins": [
+          {
+            "transform": "typescript-rtti/dist/transformer"
+          }
+        ]
     }
 }