Hi Ricardo, On sam., 08 oct. 2022 at 16:07, Ricardo Wurmus <rek...@elephly.net> wrote:
> Here’s an implementation of inductive graphs: > > https://github.com/rekado/minigrad/blob/main/minigrad/graph.scm IIUC, mingrad is implementing a part of [1]. Some time ago, I have read this interesting paper from Haskell folks: https://dl.acm.org/doi/pdf/10.1145/3122955.3122956 and maybe this kind of framework could be useful. 1: <https://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf> Cheers, simon