import Flow: isconstant, il, dl, cse, prewalk, graphm, syntax, @vertex

vertex(a...) = IVertex{Any}(a...)
vertex(v::Vertex) = convert(IVertex{Any}, v)
constant(x) = vertex(Flow.Constant(x))
constant(x::Vertex) = vertex(x)

addΔ(a, b) = vertex(:+, a, b)

# Special case a couple of operators to clean up output code
const symbolic = Dict()

symbolic[:+] = (Δ, args...) -> map(_->Δ, args)

function ∇v(v::Vertex, Δ)
  haskey(symbolic, value(v)) && return symbolic[value(v)](Δ, inputs(v)...)
  Δ = vertex(:back!, constant(value(v)), constant(Δ), inputs(v)...)
  map(i -> @flow(getindex($Δ, $i)), 1:Flow.nin(v))
end

function invert(v::IVertex, Δ = constant(:Δ), out = d())
  @assert !iscyclic(v)
  if isconstant(v)
    @assert !haskey(out, value(v))
    out[value(v).value] = il(Δ)
  else
    Δ′s = ∇v(v, Δ)
    for (v′, Δ′) in zip(inputs(v), Δ′s)
      invert(v′, Δ′, out)
    end
  end
  return out
end

back!(::typeof(+), Δ, args...) = map(_ -> Δ, args)

back!(::typeof(*), Δ, a, b) = Δ*b', Δ*a'