Arc Forum | I meant that (let orig f (def f args ; you can put ANY code you want ...

Arc Forum

1 point by fallintothis 5070 days ago | link | parent

I meant that

  (let orig f
    (def f args
      ; you can put ANY code you want in here
      ))

Hence, extend is independent from annotate: just as you can annotate without using extend, you can extend without using annotate. extend is just a byproduct of closures and first-class functions. Of course, combining annotate and extend lets you dispatch based on custom types.