Effectful Recursion Schemes

1 comments

• measurablefunc 2 hours ago ago

  Interesting syntax: https://effekt-lang.org/docs/casestudies/ad

  > do add(do mul(do num(0.5), do exp(do add(do num(1.0), do mul(do num(2.0), x)))), do exp(do mul(x, x)))