Closed MarisaKirisame closed 5 years ago
Proof http://www-bcl.cs.may.ie/~barak/papers/HOSC-forward-nesting.pdf wrong! The trick is simple: have something that carry the code/thunk that can infinitely differentiate around Write some helper to ease the use of such thing will be good.
Very fucking simple indeed. Solved in ff6aa401360bee9702a4162c968d79e7aae7a51b
Not done yet. Cannot create any InfDiff Double except literal.
Should better not close it until we have example.
Proof http://www-bcl.cs.may.ie/~barak/papers/HOSC-forward-nesting.pdf wrong! The trick is simple: have something that carry the code/thunk that can infinitely differentiate around Write some helper to ease the use of such thing will be good.