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

Bulat Ziganshin bulat.ziganshin at gmail.com
Wed Jan 31 05:31:39 EST 2007

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

More information about the Haskell-Cafe mailing list