Archived tweet #11163 from the @leastfixedpoint Twitter Archive

@cowtowncoder @tinkerware Ion's annotations aren't like Preserves' annotations. They're more like Preserves' record labels. Well, based on a skim of the spec, anyway. (In Preserves, annotations aren't usually visible to programs at all... whereas record labels are critically important)