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

Bắt đầu bằng việc điều tra xem trình biên dịch TypeScript có thể làm cho typeof import(name) phụ thuộc vào một literal chuỗi và sử dụng kết quả đó cho các lời gọi require và define hay không. Xem lại các ví dụ của issue và xác định những thay đổi cần thiết đối với ngôn ngữ và việc kiểm tra kiểu; công việc được xem là hoàn tất khi các kiểu module được yêu cầu được suy luận từ các đối số literal.