At FOSDEM I saw a presentation on PennyLane
OK, so its Python but it is functionally oriented and they use differentiable circuits.
I had a quick chat with the presenter and he agreed there is commonality with Julia there.
Sorry if I do not have the exact technical terms, but there did seem to be some synthesis there and maybe someone in this field from the Julia side could have a look at it.