我对这三个概念感到非常困惑.
有没有简单的例子来说明Category,Monoid和Monad之间的区别？
如果有这些抽象概念的说明,将会非常有帮助.
我的红宝石版本是
ruby 1.9.3p374 (2013-01-15) [i386-mingw32]
我在安装了mingw的Windows 8下运行.
如何将其升级到ruby 2.0？
我探索了System.Random.StdGen并在源代码中看到了这段代码.
data StdGen = StdGen Int32 Int32
模块似乎也出口了StdGen.
module System.Random (
RandomGen(next, split, genRange)
, StdGen
...
但是,为什么我不能在我的代码中这样做,比如说,
Prelude System.Random> StdGen 1 2
Not in scope: data constructor `System.Random.StdGen'**
另一方面,我可以做到这一点,
module F (Foo) where
import GHC.Int
data Foo = Foo GHC.Int.Int32 GHC.Int.Int32 deriving (Show)
和
Prelude> Foo 1 2
Foo 1 2
请有人请告诉我这个数据构造函数实际上是如何隐藏的？
例如,ParsecT在其定义中有多个类型变量.
newtype ParsecT s u m a
= ParsecT {unParser :: forall b .
State s u
-> (a -> State s u -> ParseError -> m b)
-> (ParseError -> m b)
-> (a -> State s u -> ParseError -> m b)
-> (ParseError -> m b)
-> m b
}
我们可以这样做吗？
newtype ParsecT m a s u -- Only the order of s u m a is changed to m a s u.
= ParsecT {unParser :: …在真实世界Haskell的第321页
有这些代码,
...
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
newtype AInt = A { unA::Int }
deriving (Show, Eq, Num)
instance Monoid AInt where
mempty = 0
我的困惑是为什么
mempty = 0
但不是
mempty = A 0
？
我也注意到了这两点
ghci> 0 :: AInt
和
ghci> A 0 :: AInt
给我同样的回应
A { unA = 0 }
有人请告诉我这两个有什么区别？
我知道
$ :: (a->b) -> a -> b
f $ x = f x
直觉上,在我看来,比如说,1. $将函数的评估延迟到左边2.评估其右边的结果3.将其左边的结果输入到右边.
这对我来说非常有意义,
ghci> length $ [1..5]
5
ghci> ($) length [1..5]
5
我不明白的是为什么,
ghci> ($ [1..5]) length
5
从$的类型来看,是不是它的(第一个)论证应该是一个函数？
我在Indexed Monad中阅读了以下代码
{-# LANGUAGE QuasiQuotes #-}
import Control.Monad.Indexed.State
import Control.Monad.Indexed
import Language.Haskell.IndexedDo
hoge :: IxState Int [Int] ()
hoge = [ido|do
imodify (*10)
imodify show
imodify reverse
imodify (++"123")
imodify $ map fromEnum
|]
这些符号的语法是[|....|]什么？
它是某种语法糖吗？
我正在使用Ubuntu 13.10.可以在Linux下调试Windows可执行文件吗？
我已经尝试过gdb,但它总是抛出这个错误信息.
/bin/bash: line 0: exec: /some.exe: cannot execute: Permission denied
我知道数据构造函数和run***函数,
我可以将任何函数提升到特定的MonadTrans实例.
像这样,
import Control.Monad.Trans
import Control.Monad.Trans.Maybe
import Control.Monad
liftF :: (Monad m) => (a -> b) -> MaybeT m a -> MaybeT m b
liftF f x = MaybeT $ do
inner <- runMaybeT x
return $ liftM f inner
但是我怎样才能将这个liftF推广到
liftF :: (MonadTrans t, Monad m) => (a -> b) -> t m a -> t m b