<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Sep 9, 2014 at 8:22 PM, Philip Reames <span dir="ltr"><<a href="mailto:listmail@philipreames.com" target="_blank">listmail@philipreames.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">To address the size question asked in a followup, I'll respond somewhat glibly.  We already have metadata on a Value, how is having Attributes in their place any different?  (This is assuming we completely merge metadata and attributes.  No one has seriously proposed doing that yet.  Alternatively, we could merge the storage and preserve the interface separation if we thought that was useful.)</blockquote><div><br></div><div>Attributes and metadata aren't completely interchangeable. Metadata is semantically unimportant and can always be dropped (TBAA, debug info, stuff). Attributes can control semantically important things like how to pass a parameter, and can't necessarily be dropped.</div></div></div></div>