<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><html xmlns="http://www.w3.org/1999/xhtml">
 <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 </head>
 <body>
  <p style="margin: 0;">
   <span>
    <span></span>
   </span>
    
  </p>
  <div style="margin: 5px 0px 5px 0px; font-family: monospace;">
   <br/>
   Niko Matsakis <niko@alum.mit.edu> hat am 12. Januar 2012 um 19:18 geschrieben:
   <br/>
   <br/>
   > On 1/12/12 9:47 AM, Graydon Hoare wrote:
   <br/>
   > > More generally though, I think block-centric is best, and perhaps
   <br/>
   > > provide a standard vec method that appends-to-a-vec everything fed to it.
   <br/>
   <br/>
   [...]
   <br/>
   <br/>
   > or even:
   <br/>
   >
   <br/>
   >      let keys = hash.keys.to_list();
  </div>
  <div> </div>
  <div>Actually, this sounds like a good compromise to me.</div>
  <div>I'm looking forward to this.</div>
 </body>
</html>