I wonder if mainstream languages could introduce concept of pure function (like a math or haskell functions, dependent only on values of its parameters).<p>Most langauges default operation mode is like Haskel IO but maybe it could be beneficial if programs in other languages could carve out some region of purity that allows laziness that is Haskel basic mode of operation.