Maybe not as comprehensive or approachable:

Julia: https://juliadiff.org/ChainRulesCore.jl/stable/FAQ.html#Wher...? (bottom)

OCaml: https://ocaml.xyz/book/