Giving a method generics in Luau

[anon66957764]

I want to define a function like this:

function Class:GetList(something: {[number]: T}): {[number]: T}

But I don’t know where to put the <T>.

It doesn’t work after function, doesn’t work before or after Class, doesn’t work before or after GetList and doesn’t work after the parenthesis or after the return type either.

How do I tell Luau that this function is generic? I feel like this has the same issues as trying to assign to a field in self, that is, you have to do something like this:

	local something: Something = {}
	self.something = something

But I feel like it would look even weirder to do that with methods…

[Ozzypig]

Venturing a guess here, since I don’t use typed Luau like this, but I think any works for this?

[anon66957764]

That doesn’t tell the type checker that both Ts have to be the same, which is what I’m trying to do here.

[Eternalove_fan32 (FrostDracony)]

I hope this can help:

Generic's in Lua, how to use them?

You can declare a variable with a type and then assign to it with the function. type Test<A> = (A) -> A local TestValue:Test<number> function TestValue(x:number):number return x*2 end This doesn’t seem particularly useful though, because in the function definition it should have the same type.

[Ozzypig]

According to Type checking | Luau, there doesn’t seem to be a way. You could feasibly do this at runtime by calling typeof or checking metatables, which seems to be the next best thing.

[anon66957764]

A more complex version of the function signature would be this:

function Class:GetList(tbl: {[number]: T}, poll: (() -> {[number]: T})?): {[number]: T}

In this case, if poll is present, it will be called and the result moved into a copy of tbl.

Can the type checker infer this correctly?

function Class:GetList(tbl: {[number]: any}, poll)
	local built: typeof(tbl) = {}
	table.move(tbl, 0, #tbl, 0, built)

	if poll then
		local more = poll()
		table.move(more, 0, #more, #built, built)
	end

	return built
end

[anon66957764]

@Eternalove_fan32

I hope this can help:

Not exactly, Test is required to have its generic argument specified at compile time :(

@Ozzypig

According to Type checking | Luau, there doesn’t seem to be a way.

Hence why I asked here