Hello Benjamin, Wednesday, January 31, 2007, 1:28:09 AM, you wrote:
course people /like/ to think of 'objects' and their 'behavior' etc., it /is/ a very intuituive approach, because it is the way we are used to think. Unfortunately that doesn't necessarily make it effective for precise reasoning about the large and complex digital systems we are constructing. It may, in fact, be more effective to short-cut all these centuries (if not millenia) old thinking habits and cut straight to the chase: see programs as formulas to be reasoned about with formal methods (such as equational reasoning, which is a particularly good fit for Haskell with its equational notation and pure functional semantics).
this drives us to the central problem - are computers created to makes people's lives easier or peoples created to make computers more productive? ;) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com