Explore user-side variadic functions.

[cristianoc]

Here's a simple encoding and test:

module Variadic = {
  type t<+'a, 'r>

  let apply: (t<'a, 'r>, array<'a>) => 'r = %raw(`(f, args) => f(...args)`)
  let make: (array<'a> => 'r) => t<'a, 'r> = %raw(`(f) => (...args) => f(args)`)
}

let variadicFun = Variadic.make((a: array<_>) => Js.log(a))
let () = variadicFun->Variadic.apply([3])
let () = variadicFun->Variadic.apply(["a", "b"])

Relevant to the question of whether @variadic at the FFI level is necessary: rescript-lang/rescript-lang.org#572

[github-actions]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.