[Haskell-cafe] Re: State of OOP in Haskell

[Bulat Ziganshin]

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 at gmail.com