Type safe curry function

[Polanas]

Greetings! I was wondering if it's possible to implement a simple one argument curry function in a type safe way using new generics capabilities.

---???
local function curry(f, first)
  return function(...)
    return f(first, ...)
  end
end

-- func should evaluate as fun(y: number): number
local func = curry(math.pow)

The first limitation I encountered is incorrect type evaluation when returning an alias from a function, e.g. Parameters.

---@generic F: function
---@param f F
---@return Parameters<F>
function return_params(f) end

--evaluates to `P` instead of (number, number)
local result = return_params(math.pow)

[xuhuanzy]

I forgot to handle the actual function. :)

a temporary solution is to define a ---@alias mathPow fun(number, number).

[Polanas]

I forgot to handle the actual function. :)

a temporary solution is to define a ---@alias mathPow fun(number, number).

Ah alright! Thanks for responding so quickly :).

With this working, I'm not too sure how one would grab all arguments of a function type and return a new function type without the first argument...

I've found this minimal TS implementation for the generic case: link.
Could this be replicated with current capabilities?

[xuhuanzy]

I'm not sure if it will work, but you can ask the AI. The implementation of conditional generics is referenced from TypeScript, with only some differences in keywords overall.