title: What does the "world" mean in functional programming world?
body: <p>I've been diving into functional programming for more than 3 years and I've been reading and understanding many articles and aspects of functional programming.</p>
  
  <p>But I often stumbled into many articles about the "world" in side effect computations and also carrying and copying the "world" in IO monad samples. What does the "world" means in this context? Is this the same "world" in all side effect computation context or is it only applied in IO monads?</p>
  
  <p>Also the documentation and other articles about Haskell mention the "world" many times.</p>
  
  <p>Some reference about this "world": 
  <a href="http://channel9.msdn.com/Shows/Going+Deep/Erik-Meijer-Functional-Programming" rel="noreferrer">http://channel9.msdn.com/Shows/Going+Deep/Erik-Meijer-Functional-Programming</a></p>
  
  <p>and this:
  <a href="http://www.infoq.com/presentations/Taming-Effect-Simon-Peyton-Jones" rel="noreferrer">http://www.infoq.com/presentations/Taming-Effect-Simon-Peyton-Jones</a></p>
  
  <p>I expect a sample, not just explanation of the world concept. I welcome sample code in Haskell, F#, Scala, Scheme.</p>