Arc Forumnew | comments | leaders | submitlogin
1 point by almkglor 6245 days ago | link | parent

Ah, the code example you gave threw me. I suppose what you really meant was something more like this:

  (def add-attachment (k v s)
    (if (isa s 'settable-fn)
        (do (= ((car (rep s)) k) v)
            s)
        (annotate 'settable-fn
            (cons (fill-table (table) (list k v)) s))))
re annotations as cons cells - well, that's already how they work, and apparently it's not a bug, as you mentioned.


4 points by nex3 6245 days ago | link

Oh, I certainly don't mean that annotations aren't equivalent to cons cells. That's definitely true. I'm just saying that that doesn't mean we should use them like we use cons cells. I think their primary use should be the one your code example shows: to add a type to some other object.

-----