Declare type to be an import depending on a string literal argument: typeof import(name);

Hello,
It's seems to be difficult to do but there's now a lot of possibilities with the typescript compiler that I wouldn't have thought possible before, so I prefer to ask.

Is there a chance to have this kind of definition:

declare function require(name: string): typeof import(name) | undefined;

I mean declaring the return type as the type coming from the import of module "name". So we could have the type returned by require:

var module = require("my module");

I guess if it's feasible, it will also be possible to add more typing on this kind of javascript code

define("myModule, ["deps1", "deps2", "deps3"], (deps1, deps2, deps3) => {
// deps1, deps2, deps3 have the right type !!
});

like this

define("myModule, ["deps1", "deps2", "deps3"], (deps1: typeof import("deps1"), deps2: typeof import("deps2"), deps3: : typeof import("deps3")) => {
// deps1, deps2, deps3 have the right type !!
});

Thanks for your help,

--
Laurent

Comienza investigando si el compilador de TypeScript puede hacer que typeof import(name) dependa de un literal de cadena y usar ese resultado para las llamadas a require y define. Revisa los ejemplos del issue y determina los cambios necesarios en el lenguaje y en la comprobación de tipos; se consideraría terminado cuando los tipos de módulo solicitados se infieran a partir de argumentos literales.