Is it plausible to create a module storing types?

Help and Feedback Scripting Support
1

I’m creating a module loader script, though I’ve faced some problems. When I use the .Get(ModuleName) function inside the Module loader, which returns the loaded module, I can’t access its function names. For example:

Module Example:

local module1 = {}

function module1.Print(...)
    print(...)
end

return module1

Loading Module:

local moduleLoader = require(path)

moduleLoader._Init(path.to.module1Folder) -- shared.Get = moduleFolder.Get
moduleLoader._Start()

shared._Get("Module1") -- I can't access the functions inside Module1

Module1.Print() -- Doesn't appear (typed as any)

I planned to create a module storing all types used by those functions, though is that the better way of doing so? It is necessary to have all types because I have lots of modules using OOP, and I can’t access methods and functions quickly, which is ugly and bad. Any help is appreciated ^^

2

Pretty sure it’s because you call a function with string as the argument. No real way for the type checker to know what module in specific you’re referring to.

3

How would I do that so it auto-fills the type then?

4

As of now, I would need to do that:

local types = require(RpS.Types)

type sprint = types.sprint

local sprintModule = shared.Get("Sprinting") :: sprint

It works, but I would always need to require the Types module to get the type; not to mention it is way better just using shared.Get() and get all provenient types.