Click here for the best facility construction currently available anywhere and reasonably priced….

]]>In Scheme you can define costrength with a the use of call-cc, which I’ll leave as an exercise to the reader.

I am also having these, not sure if it is mine or your problem:

mstrength ma b = ma >>= (\\a -> return (a,b))

mstrength’ ma b = ma >>= return . (\\a -> (a,b))

strength fa b = fmap (\\a -> (a,b)) fa

using firefox

[...]The whole look of your web site is fantastic, let well as the content material![...]…

]]>Co w a = forall r. w (a -> r) -> r

is to the Cokleisli arrow as the Yoneda encoding of m:

Yoneda m a = forall r. (a -> r) -> m r

is to the Kleisli arrow. Is there a way to generalize this to any ArrowApply?

]]>> step :: Int -> IO Int

> step n = do { b walk :: Int -> IO [Int]

> walk n = do { n’ <- step n ; ns walk’ :: Int -> IO [Int]

> walk’ n = do { n’ <- step n ; ns let m = unsafeInterleaveIO (randomIO :: IO Int)

*Main> let reset = setStdGen (mkStdGen 17)

*Main> do { reset ; x <- m ; y do { reset ; x <- m ; y do { reset ; x <- m ; y <- m ; x `seq` return y }

-4752852439639411777