title: What are some of the most 'pure' object-oriented languages?
body: <p>A recent introduction to Smalltalk has enlightened me on the application and benefits of a 'pure' object oriented style. I'd previously seen the benefits of this in Ruby, though the presence of non object oriented <code>if</code>, <code>unless</code> etc. constructs seemed like it didn't carry things all the way through.</p>
  
  <p>By pure here, I'm talking about things like 'everything is an object' (including functions via blocks or something similar) and no procedural-style flow control, instead using flow control methods on booleans &amp; collections. </p>
  
  <p>Yet, even in a language like Smalltalk some things stand out as not being object oriented. For example it doesn't seem possible to do variable assignment without using special syntax (:= instead of an 'is:' or similar method) and returning values from a function seems to require the ^ operator which doesn't seem to 'belong' to any object.</p>
  
  <p>Are there any languages that carry this style even further?</p>