Linking here for reference;
a few thoughtful comments on the Differentiable Programming paper
(a subthread of a wg21 mailing post on reddit):

https://www.reddit.com/r/cpp/comments/l2q9ec/wg21_january_2021_mailing/gkfdnpn/