typocomath/src/core/typed.ts

export function typed<T>(name: string, types: string, arg: T) : T {
  // TODO: implement typed-function for real
  if (types === '__infer__') {
    console.error('__infer__ should be replaced with runtime type information by the TypeScript plugin')
  }

  console.log(`TYPED-FUNCTION: Creating function "${name}" with types ${types}`)

  // TODO: here we can now turn the inputs into a real typed-function with a signature
  return arg
}