ADTypes.jl
ADTypes.jl copied to clipboard
Support `Zygote.forwarddiff` & `Zygote.checkpointed`
Hi,
I have a question, do we need to support Zygote.forwarddiff? What about Zygote.checkpointed?
I think, there can be parameters of AutoZygote to activate them.
- Supporting
Zygote.forwarddiffseems weird to me, because if you really need to differentiate a function with ForwardDiff.jl you will useAutoForwardDiff - Supporting
Zygote.checkpointedseems reasonable, and it could be a fieldcheckpointed::BoolofAutoZygotein the same way that e.g.AutoReverseDiffhascompile::Bool. A type parameter would seem more type-stable, but given how unstable Zygote.jl itself is, I don't know if it matters. @Vaibhavdixit02, any idea?