say a priori, but it's a win to know the
alternatives. I have done some OO, and a few times while writing in
Haskell, the objective model came to mind first, tho in many cases it
is cumbersome in Haskell.
Cheers,
Strake
___
Haskell-Cafe mailing list
);
SequenceM mx `mappend` SequenceM my = SequenceM (liftM2 mappend mx my);
}
whatever :: (MonadWriter (SequenceM IO ()) m) = m ();
whatever = tell (SequenceM (someIO :: IO ()));
Cheers,
Strake
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
the pointers.
I doubt that such a derivation algorithm would be possible in general,
since it wouldn't know whether to compare by value, i.e. follow the
pointer.
Best regards,
Takayuki
Cheers,
Strake
___
Haskell-Cafe mailing list
Haskell-Cafe
Pointers.
Seriously.
In Haskell one could use STRef rather than the cumbersome Foreign.Ptr,
though STRef too can be kludgy.
I know not whether safe, pure, immutable pointers would be possible in
Haskell, but in my experience STRef can work well enough.
Cheers,
Strake
On 25/07/2012, Евгений Пермяков permea...@gmail.com wrote:
Let assume, that some computation takes argument and produces value
Either a b. This computation may be represented in for different forms
...
computeApplicative :: app a - app (Either b c)
...
=
This seems rather more
:: BackTrack a b - [a] - Either [a] ([a], b, [a])
BackTrack unBT (exactly [1,2]) [1,2,3,4]
Right ([1,2],[1,2],[3,4])
BackTrack unBT (exactly [1,2,3]) [1,2,7,4]
Left [1,2]
Cheers,
Strake
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
.
http://hackage.haskell.org/package/QuickCheck
Cheers,
Strake
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 05/07/2012, Mikhail Vorozhtsov mikhail.vorozht...@gmail.com wrote:
Hi.
After 21 months of occasional arguing the lambda-case proposal(s) is in
danger of being buried under its own trac ticket comments. We need fresh
blood to finally reach an agreement on the syntax. Read the wiki
page[1],
a | Branch (Tree a) (Tree a)
deriving (Functor, Foldable);
...
(^_^)
--
Strake
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe