<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On 8 jul 2012, at 21:50, Richard Carlsson wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>On 07/08/2012 11:48 AM, Tony Rogvall wrote:<br><blockquote type="cite">BTW<br></blockquote><blockquote type="cite">The 1+1 = 2 example was totally silly in my opinion.<br></blockquote><br>I was just trying to make the point that in the type notation, the elements of a list are the union of all possible types of elements that can occur anywhere in the list. This discards all information about how many elements there may be in a list, and in which order. In that way, it's exactly like how e.g. "3" may represent any and all of "1+2", "2+1", "1+1+1", and "3".<br><br></div></blockquote>Point taken!</div><div>But I was totally out of context :-)</div><div>Sorry about that.</div><div><br></div><div>/Tony</div><div><br></div><div><br></div><div><br><blockquote type="cite"><div> /Richard<br></div></blockquote></div><br><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div><span class="Apple-style-span" style="color: rgb(51, 51, 51); font-family: Geneva, Arial, Helvetica, sans-serif; font-size: 12px; ">"Installing applications can lead to corruption over time. </span><span class="Apple-style-span" style="color: rgb(51, 51, 51); font-family: Geneva, Arial, Helvetica, sans-serif; font-size: 12px; ">Applications gradually write over each other's libraries, partial upgrades occur, user and system errors happen, and minute changes may be unnoticeable and difficult to fix"</span></div><div><span class="Apple-style-span" style="color: rgb(51, 51, 51); font-family: Geneva, Arial, Helvetica, sans-serif; font-size: 12px; "><br></span></div></span><br class="Apple-interchange-newline">
</div>
<br></body></html>