Embed Notice

backprop/machine learning fits into functional programming as "new form of control"/effect(?) with linear negation the dual from linear algebra

basically "peek around locally on differentiable stuff and use that to improve the program"

Turns out to resemble logic programming's "AI" maybe, cf. Pédrot/Kerjean's recent dialectica work

https://hal.science/hal-02400927/document