<html><body bgcolor="#FFFFFF"><div><br></div><div>On Sep 30, 2011, at 4:54 PM, "Jecel Assumpcao Jr." <<a href="mailto:jecel@merlintec.com">jecel@merlintec.com</a>> wrote:<br><br></div><blockquote type="cite"><div>




<span style="display:none"> </span>



    <div id="ygrp-text">
      
      
      <p>
Are we talking about the same kind of map? The ones in my implementation<br>
are the hidden structure in the VM which play the roles that classes<br>
play in Smalltalk virtual machines.</p></div></div></div></div></blockquote><div>Yes we are, I just want to see them exposed :)</div><div><br></div><div>The classiness of maps is also a type definition.  If you define class as a set of known behaviors map as class works. </div><div><br></div><div>Exposing the underlying map implementation tothe language layer could provide an interesting way to guard or hook method sends. </div><div><br></div><div>Think assert x is a foo, therefore x can bar, but x doesn't bar so x is not a foo. You can walk the mirror and extract this data, but you loose the history of transformation. </div><br><blockquote type="cite"><div><div id="ygrp-mlmsg" style="position:relative;"><div id="ygrp-msg" style="z-index: 1;"><div id="ygrp-text"><p> They are 100% invisible at the Self<br>
language level. So much so that Ole Agesen had to recreate the<br>
equivalent at the language level the hard way in his "gold" project:<br>
<br>
<a href="http://selflanguage.org/documentation/published/gold.html"><a href="http://selflanguage.org/documentation/published/gold">http://selflanguage.org/documentation/published/gold</a></a></p></div></div></div>






<!-- end group email -->

</div></blockquote><br><div>As always you are a font of information, thanks Jecel. </div></body></html>