为什么要编译这段代码？但是，即使没有类型声明，代码仍然可以编译，并且看起来像预期的那样工作--这让我感到惊讶。据我所知，这一行应该出现歧义：原因是Haskell不应该知道我们返回的是哪种类型的monad。为什么它必须是我们正在接受的同一类型？
来澄清更多。据我所知，如果我不明确地将类型声明类似于我注释掉的类型
浏览 11提问于2019-03-26得票数 5
回答已采纳
1回答
我正在阅读Haskell中的一些代码，我无法理解并找到一个解释，说明如果一个函数返回一个IO (不管什么)，在此之前它可以有其他类型。这个函数很清楚，可能返回一个IO
但是下一个从scotty图书馆返回一个单一的ActionT文本的IO可能？我的思想就要爆炸了！
浏览 1提问于2018-08-11得票数 1
回答已采纳
为什么WrappedMonad和WrappedArrow类型存在？是因为Monads不是Applicative吗？假定存在WrappedArrow，实例是否应该只需将其内置到Haskell中，就像Applicative现在是Monad的超类一样
浏览 7提问于2015-02-12得票数 8
回答已采纳
3回答
好吧，所以我不是一个Haskell程序员，但是我对Haskell背后的许多想法非常感兴趣，并且正在研究学习它。但我被困在了第一步:我似乎不能把头绕在单子上，这似乎是相当基本的。它的第一个参数是一个一元类型的值，第二个参数是从第一个参数的底层类型映射到另一个一元类型的函数，其结果是另一个一元类型。
好的，在我引
浏览 5提问于2011-11-02得票数 39
回答已采纳
虽然我觉得自己对Haskel IO和Monad有很好的理解，但是我很难理解下面的错误信息。考虑Haskell中的以下简单函数testf x = show x
正确的版本应该省略显式声明x参数。printtosc
浏览 2提问于2020-01-08得票数 1
回答已采纳
1回答
一元与函数的区别
、、
我在这里提出这个问题只是为了描述一下我对Monad和Function的一些想法，希望有人能纠正我或者证实它是正确的。
在我看来，它有点像函数。一个函数需要一些东西，并执行一些操作并返回</e
浏览 3提问于2014-04-23得票数 3
回答已采纳
我有两个类型的定义type MapperM m a k v = a -> m [(k,v)]键入基本上是一个函数，它以a -> m (k，v)作为参数，并返回a -> (k，v)作为</em
浏览 2提问于2020-02-29得票数 1
回答已采纳
4回答
我在上看到putChar :: Char -> IO ()
在Google中很难找到关于它的信息，因为答案涉及到“公共括号”的问题(用于函数调用、优先级问题等)。它是一个类型吗？什么是()类型的变量？它的用途是什么，什么时候需要它？
浏览 14提问于2013-12-05得票数 19
回答已采纳
在Haskell中，monads是根据函数返回和绑定来定义的，其中返回类型为a -> m a，而bind具有m a -> (a -> m b) -> m b类型。在此之前已经指出过，其中join是一个具有m (m a) -> m a类型的函数。绑定可以用联接来定义，但反向可能吗？可以用绑定来定义联接吗？如果没有join，我不知道如果我以某种方式获得了一个“两次包装”的一元值，m (m a) --可以说，函
浏览 7提问于2015-12-21得票数 14
回答已采纳
1回答
instance Monad (Either e) where Right m >>= k = k m我找到了一段这样的代码。这对我来说是不可理解的，因为毕竟，Either构造函数类型会得到两个参数( Either a b )，这里有一个参数。我不明白为什么这是可能的。
浏览 5提问于2016-04-02得票数 0
回答已采纳
3回答
在研究Haskell教科书中关于不同单子的章节时，当作者们从解释bind和monad定律的细节跳到实际使用monad时，我反复地迷失了方向。因此，在monad中“运行”某项内容可能意味着(a)提供它作为return的参数，或者(b)使用>>=对其进行排序。如果monad是m a类型，那么如果a)某样东西必须是a类型，则匹配return函数的类型
浏览 4提问于2020-05-15得票数 9
回答已采纳
3回答
在中，他们描述了这样的组合子：
maybeIO :: IO a -> IO (Maybe a)
但我所能看到的是，maybeIO是一个函数，它接受一个以IO monad包装的值，并在IO monad中返回一个值。那么这个函数是如
浏览 4提问于2013-11-17得票数 13
回答已采纳
我当时正在做一个关于F#的演讲，在讨论选项类型时，观众问我，选项类型是否是F‘S实现的“可能的单曲”。我知道情况并非如此，但我确实想问这两个概念之间的关系如何。我的意思是，在我看来，选项类型可能是一个可能单一广告运作的结果，但我甚至不确定。
有人会在那些支持它的功能语言中阐明可能的单变量和选项类型之间的关系吗？
浏览 0提问于2012-06-22得票数 8
回答已采纳
3回答
作为一名功能良好的Javascript开发人员，我对Haskell的理解非常模糊，我真的很难理解像monad这样的Haskell成语。当我查看函数实例的>>=时f >>= k= \ r -> k
浏览 11提问于2016-11-07得票数 2
回答已采纳
我刚刚开始学习haskell，我正在尝试实现一些常见的monad作为我自己的练习。当我在摆弄((->) r) monad时，我实现了这个(错误的)定义： instance Monad ((->) r) where m >>= f =(t -> a) -> (a -> t -> b) -> t -> b 而类型应该是： (
浏览 19提问于2019-03-23得票数 0
回答已采纳
3回答
我正在研究一些介绍性的Haskell材料，目前正在学习Monad。我从概念上理解，>>=运算符的类型是：main = getLine >>= \xs -> putStrLn xs
因为我们知道getLine :: IO Stri
浏览 6提问于2014-10-14得票数 3
回答已采纳
1回答
我正在阅读Control.Monad.Writer模块如何导出Writer w a type及其Monad实例，以及处理此类值的一些有用函数。newtype Writer w a = Writer { runWriter :: (a, w) } -- <--- (a, w)
在这里，为什么对类型顺序是颠倒的，那么写Haskell有什么不好的影
浏览 11提问于2022-03-12得票数 7
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
