Arc Forumnew | comments | leaders | submitlogin
1 point by akkartik 4889 days ago | link | parent

Are you suggesting we don't need annotations for anything that extend works with? That isn't how I read that essay at all.


1 point by fallintothis 4889 days ago | link

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.

-----