stub.t

local function tmap(tab, func)
  local new = {}
  for key, value in pairs(tab) do
    new[key] = func(value)
  end
  return new
end

local terra add(a : int, b : int)
  return a + b
end

local function stub(func, ret)
  return terra([tmap(add:gettype().parameters, symbol)])
    return [ret]
  end
end

print(stub(add, 0)(1, 2))

~about.md

A simple experiment Lua function that generates stubs of provided Terra functions.