回答情况：
提问时间：
问题标签：
[1..2]翻译为我意识到我可能会使用do-notation因此，纯粹出于教学方面的原因，ghc/ghci有没有办法为一个用do-notation编写的相当复杂的monad提供相应的绑定语句？
编辑。
浏览 1修改于2011-11-06得票数 27
回答已采纳
我对在do块中定义foldM感到困惑，主要是因为它的递归。foldM的标准定义如下：foldM _ a [] = return a我理解这个定义；f a x的结果递归地传递到一个新的foldM函数中，直到列表为空。以下是do-block中foldM的定义(从我的uni课程材料中复制)
浏览 0提问于2016-11-06得票数 3
我刚开始使用Haskell，它完全把我搞糊涂了。我以前做过Java和Python，这对我来说更有意义。更准确地说，我需要一个yes/no输入，其中'y‘将生成True，'n’将生成False，任何其他输入将在命令行中打印一条消息，并要求再次输入y/n。Continue? y/n:Invalid input.> yContinue? y/n:
>
浏览 0修改于2011-04-18得票数 11
有没有什么内置的方法可以使用do-notation编写这个函数，让它看起来或多或少像这样？
浏览 17修改于2021-04-07得票数 2
回答已采纳
我知道哈斯克尔 x <- [1, 2, 3] let z = (x + y)可以在Scala中表示为 x <- List(1, 2, 3) z = x + y但是，尤其是在monads中，Haskell经常在do块中包含与<-或=都不对应的语句。例如，下面是Pandoc的一些代码，它使用Parsec解析字符串中的内容。
-- | Parse contents of 'str' using
浏览 0提问于2012-05-04得票数 21
回答已采纳
好吧，这个问题是不言而喻的。假设我想实现一些特殊的语法，只是为了好玩。有可能吗？我应该使用什么工具？
浏览 0提问于2011-03-27得票数 19
回答已采纳
我一直认为哈斯克尔的do-notation只是单曲的糖(>>=)。我的问题：
在这个例子中，甚至有一个单曲隐藏在do-notation的基础上吗?如果没有，是否有某种特殊形式的do-notation允许使用这种格式的let-statements而没有单曲?如何将这个do-notation转换成>>=表单？
浏览 8提问于2022-07-06得票数 4
回答已采纳
我尝试将do-notation与agda-stdlib的IO一起使用，但奇怪的是，_>>_的类型使用∞：{B : Set a} (m₁ : ∞ (IO B)) (m₂ : ∞ (IO A)) → IO我不得不放弃do-notation，就像这样： main : IO ⊤ ♯ (♯ putStrLn "hi" >> ♯ return
浏览 16修改于2019-03-15得票数 0
表达式返回错误“无法匹配预期类型的[t0]' with actual typeIO字符串”使用list gens时是否有类型限制？
浏览 0修改于2016-02-11得票数 4
并设法编写了一个带有签名的函数其中一个人是：它可以工作，我用do-notation我的问题是，在没有do-notation的情况下，我该如何重写？因为我不能将值绑定到name或age之类的名称，所以我不确定从哪里开始。编辑:我想我应该澄清一下，“我应该如何在没有do-notation的情况下重写getPerson”，我并不关心getInt函数的一半。
浏览 2修改于2011-08-29得票数 11
回答已采纳
假设我想在do-notation块中分叉一个线程，但我不关心线程id。如果我写GHC发出警告
警告：do-notation语句放弃了ThreadId类型的结果。
浏览 2提问于2014-01-22得票数 15
回答已采纳
比方说，在Haskell do-notation块中，我希望有一个变量is_root来表明我是否是根用户：main = do
uid <- getRealUserID
浏览 43提问于2014-08-15得票数 16
回答已采纳
问题是:我能不能只用(>>=)编写这个函数，而不使用Monoid限制-就像我们用do-notation变体一样？显然，无论是否使用do-notation，我们都会做同样的事情。
浏览 0提问于2018-08-23得票数 1
s = do replace "aoa" "a" s(键入foo "aoa"返回"aoa"__)A do-notation
浏览 3修改于2016-08-30得票数 1
回答已采纳
我想学习F#，但让我感到困惑的是计算表达式(do-notation??)语法和去语法。
在haskell中，您有一个非常简单的Monad类型和规则，用于对bind和return进行标记。
浏览 5修改于2013-10-25得票数 8
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号