[Haskell-cafe] Re: monad subexpressions

[Bulat Ziganshin]

Hello Claus,

Saturday, August 4, 2007, 7:55:18 PM, you wrote:

>>> so, there could be a library defining
>> 
>>>     lhs ==: rhs = putMVar <$> lhs <*> rhs

> the lifted operations combine as the unlifted ones do. so there's
> one definition each for =, /, +, not one definition for each of 
> their combinations.

it's called doublethinking :)  when you count operations, you count
only primitive ones. when you say about easiness of programming, you
propose to define special operation for each access pattern. it's
obvious for you that using only standard operations, it's hard to read
and write code, and using special operations, you will need to define
special one for each usage pattern

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com