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

Inizia verificando se il compilatore TypeScript può rendere typeof import(name) dipendente da un letterale stringa e usare quel risultato per le chiamate a require e define. Esamina gli esempi dell’issue e determina le modifiche necessarie al linguaggio e al controllo dei tipi; il lavoro sarebbe completato quando i tipi dei moduli richiesti venissero inferiti dagli argomenti letterali.