.gitignore

@@ -3,7 +3,6 @@
 # Typescript
 # emitted code
 obj
-build
 
 # ---> Node
 # Logs

package.json5

@@ -4,7 +4,7 @@
    description: 'A hopeful final typescipt-pragmatic mathjs proof-of-concept',
    main: 'index.ts',
    scripts: {
-      go: 'tsc && node build/infer.js'
+      test: 'echo "Error: no test specified" && exit 1',
    },
    keywords: [
       'math',

pnpm-lock.yaml

@@ -1,17 +1,14 @@
-lockfileVersion: '6.0'
+lockfileVersion: 5.4
 
-settings:
-  autoInstallPeers: true
-  excludeLinksFromLockfile: false
+specifiers:
+  typescript: ^4.9.3
 
 devDependencies:
-  typescript:
-    specifier: ^4.9.3
-    version: 4.9.3
+  typescript: 4.9.3
 
 packages:
 
-  /typescript@4.9.3:
+  /typescript/4.9.3:
     resolution: {integrity: sha512-CIfGzTelbKNEnLpLdGFgdyKhG23CKdKgQPOBc+OUNrkJ2vr+KSzsSV5kq5iWhEQbok+quxgGzrAtGWCyU7tHnA==}
     engines: {node: '>=4.2.0'}
     hasBin: true

src/infer.ts

@@ -5,79 +5,53 @@
  * infer TypeScript interfaces from that using infer in template literal types.
  */
 
+type T = {} // TODO: how to do generics?
+
 const create = createFactory<{
-  number: number
-  bigint: bigint
-  string: string
-  any: any
+    number: number
+    bigint: bigint
+    T: T // TODO: how to do generics?
+    'Complex<T>': unknown  // TODO: how to do generics?
 }>()
 
-// These are our string based interfaces, which we can use both in typed-function and in TypeScript:
-const Multiply = 'multiply(number,number)=>number'
-const Sqrt = 'sqrt(number)=>number'
-const Zero = 'zero(number)=>number'
-// TODO: get generics working
-// TODO: how to pass config?
 
-const createSquare = create(Sqrt, [Multiply, Zero],dep =>
-    x => dep.multiply(x, x)
+// TODO: how to pass config?
+// FIXME: multiple signatures do not work
+
+const createSquare = create({
+        multiply: '(number, number) : number',
+        // zero: '(number) : number'
+    },dep => {
+        return (x: number) => dep.multiply(x, x)
+    }
 )
 
 // the code works in JS, and works in TS
 const multiply = (a: number, b: number) => a * b
-const zero = (a: number) => 0
-const square = createSquare({ multiply, zero })
+const square = createSquare({ multiply })
 console.log('square', square(8)) // 64
 
 function createFactory<BaseTypes extends Record<string, unknown>>() {
-  type BaseTypeNames = string & keyof BaseTypes
-  type ResolveType<TypeName extends BaseTypeNames> = BaseTypes[TypeName]
+    type K = string & keyof BaseTypes
 
-  type Value<K> = K
+    type ResolveType<T extends K> = BaseTypes[T]
 
-  type ResolveArguments<S extends string> = S extends ''
-    ? []
-    : S extends `${infer Arg extends BaseTypeNames},${infer Tail}`
-      ? [ResolveType<Arg>, ...ResolveArguments<Tail>]
-      : S extends `${infer Arg extends BaseTypeNames}`
-        ? [ResolveType<Arg>]
-        : never
+    type ResolveArguments<S extends string> =
+        S extends '' ? [] :
+          S extends `${infer T extends K}, ${infer U}`
+            ? [ResolveType<T>, ...ResolveArguments<U>]
+            : S extends `${infer T extends K}` ? [ResolveType<T>]
+              : never;
 
-  type DependencyRecord<FnType> =
-    FnType extends Value<infer K>
-      ? K extends `${infer Name}(${infer Args})=>${infer ReturnType extends BaseTypeNames}`
-        ? Record<Name, (...args: ResolveArguments<Args>) => ResolveType<ReturnType>>
-        : never
-      : never
+    type ResolveFunctionDef<T> =
+        T extends `${infer Name}(${infer Args}) : ${infer L extends K}`
+            ? (...args: ResolveArguments<Args>) => ResolveType<L>
+            : never
 
-  type CreatedFunctionType<FnType> =
-    FnType extends Value<infer K>
-      ? K extends `${infer Name}(${infer Args})=>${infer ReturnType extends BaseTypeNames}`
-        ? (...args: ResolveArguments<Args>) => ResolveType<ReturnType>
-        : never
-      : never
-
-  // inspired by: https://stackoverflow.com/questions/68391632/infer-type-from-array-literal
-  type DependenciesRecord<
-    Arr extends Array<Value<any>>,
-    Result extends Record<string, any> = {}
-  > = Arr extends []
-    ? Result
-    : Arr extends [infer H, ...infer Tail]
-      ? Tail extends Array<Value<any>>
-        ? H extends Value<any>
-          ? DependenciesRecord<Tail, Result & DependencyRecord<H>>
-          : never
-        : never
-      : never
-
-  return function create<K extends string, Dependencies extends Value<K>[], W extends Value<K>>(
-    signature: W,
-    dependencies: [...Dependencies],
-    callback: (deps: DependenciesRecord<[...Dependencies]>) => CreatedFunctionType<W>
-  ) {
-    console.log('Creating typed-function with', { signature, dependencies })
-    // TODO: create a typed-function for real
-    return callback
-  }
+    return function create<T extends string, U extends string, V>(
+        dependencies: { [L in T]: U },
+        callback: (deps: { [L in T]: ResolveFunctionDef<U> }) => V
+    ) {
+        return callback
+    }
 }

tsconfig.json

@@ -2,6 +2,6 @@
     "compilerOptions": {
         "target": "ES2022",
         "rootDir": "./src",
-        "outDir": "./build"
+        "outDir": "./obj"
     }
 }