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:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
