<div style="line-height:1.7;color:#000000;font-size:14px;font-family:Arial"><div><br>TYPE is not a collection!<br>But  conceptually it is a SET,  set of all its possible instances.<br><br>quot:<br>    "Types and Programming Languages (2002)(Benjamin C. Pierce)"<br>    [page 92] Chapter 8 Typed Arithmetic Expressions<br>    "a term t has type T" (or "t belongs to T," or "t is an element of T")<br>An object obj has a type T or obj is a type T <==> obj belongs to T<br>    So, "obj in T" is fine.<br>    e.g.<br>        "1 in int" means 1 is in the whole number set.<br><br><span id="transmark" style="display: none; width: 0px; height: 0px;"></span><br><br><br>> > Note that TYPE is SET;
<br>> What does that mean? I don't understand.<br><br>> >         obj in T;

<br>> But obj is **not** in T, since T is a type, not a container.<br><pre>> "is-a" tests are not the same as "in" tests. They are completely 
> unrelated comparisons.
</pre>


<br><br></div></div><br><br><span title="neteasefooter"><p> </p></span>