@arr macro

[zenna]

Be able to write

@arr function f(x::Int, y::Int)
  2x + y
end

@arr should:

• construct both the function and the associated composite arrow
• extract the names and types

Tricky points:

• How to get return type names
• How to treat some arguments as not inputs to the arrow, e.g.

@arr function f(x::Float64, y::Float64, z::Int)
  for i = 1:z # is not an input to the arrow
    x = x + y
   end
   x
end

• Should we recurse into function calls? Should the following code call g as a function and expand it out within f or make a reference to g with f_arr (how would we do this).

@arr function f(x::Float64, y::Float64)
  a = x + y
  g(a)
end

[jburroni]

To infer the return type we may use Core.Inference.return_type