Hans;<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
It is not having a type system that is causing problems, but that it often is a bit underdeveloped. </blockquote><div><br></div><div>Yes, and malnourished. &gt;:-)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
For example, if one wants dynamic typing, that can be done by having a type by which the other types can be derived dynamically. Then the problems like the one above cane be done by introducing a new type.<br><br></blockquote>
<div><br></div><div>We can do that for  non-primitives, but we can&#39;t ask a given object &quot;Hey, what&#39;s your type?&quot;. Exactly that is high on my wishlist.</div><div><br></div><div>Kas.</div></div>