如何在没有GeneralizedNewTypederiving扩展的情况下为一元解析器实现Monad、MonadError和MonadState？
在没有GeneralizedNewTypederiving扩展的情况下为一元解析器实现Monad、MonadError和MonadState，可以通过手动实现这些类型类的实例来达到目的。
首先，我们需要定义一元解析器的数据类型。假设我们的一元解析器类型为Parser a，其中a表示解析结果的类型。
接下来，我们可以逐个实现Monad、MonadError和MonadState的实例。
- Monad实例：
instance Monad Parser where
return x = Parser (\input -> Just (x, input))
p >>= f = Parser (\input -> case runParser p input of
Just (x, rest) -> runParser (f x) rest
Nothing -> Nothing)- MonadError实例：
instance MonadError String Parser where
throwError err = Parser (\_ -> Nothing)
catchError p handler = Parser (\input -> case runParser p input of
Just (x, rest) -> Just (x, rest)
Nothing -> runParser (handler "Error occurred") input)- MonadState实例：
instance MonadState String Parser where
get = Parser (\input -> Just (input, input))
put state = Parser (\_ -> Just ((), state))这样，我们就实现了一元解析器的Monad、MonadError和MonadState实例。
对于这个问答内容中提到的名词"GeneralizedNewTypederiving"，它是Haskell语言中的一个扩展，用于自动推导类型类实例。在没有这个扩展的情况下，我们需要手动实现类型类的实例，如上所示。
关于腾讯云相关产品和产品介绍链接地址，由于要求不能提及具体的云计算品牌商，无法给出相关链接。但是，腾讯云作为一家知名的云计算服务提供商，提供了丰富的云计算产品和解决方案，可以通过腾讯云官方网站进行了解和查找相关产品。
相关·内容
我在haskell中找到了一个使用一元错误处理和状态的解析器示例。它是这样写的。{-# LANGUAGE GeneralizedNewtypeDeriving #-}
import Control.Monad.State, MonadError String )
我知道
浏览 5提问于2018-02-03得票数 0
我刚刚发现了语言扩展，这看起来很不错。这可以通过在进行模式匹配之后使用if来实现，但我不希望重复默认操作的代码，也不愿将其移出单独的函数(即。保持狱警的跌倒行为)
在没有if的情况<
浏览 6提问于2015-03-17得票数 4
回答已采纳
2回答
谁能请您澄清一下为什么继续递归地调用put方法呢？这都是因为这一行：在我做新型号之前，这是完美的.如何在MonadState实例上实现相同的方法？实际上，我试着按您的方式来做，但是我得到了以下编译错误(即使使用GeneralizedNewtypeDeriving)：
• Expecting one mo
浏览 0提问于2018-03-24得票数 0
我有一个只是一个StateT的monad MyMimport Control.Monad.Readertype MyS = Int通常MyM是用来读写MyS状态的，所以我有如下的函数：因此，基本上我也需要每
浏览 0提问于2011-09-03得票数 3
回答已采纳
1回答
)显然，我们可以通过以下方式从empty，但似乎我不得不重新实现它们，而不是派生Alternative，因为我无法设想一种通用的方法来实现empty (当然，我仍然需要使用<|>来获得state on parserA错误的保存，但这样我就可以免费获得, MonadState<
浏览 3提问于2018-02-25得票数 2
回答已采纳
2回答
我有一个问题，那就是IO上的一堆monad transformer(或者甚至一个monad transformer)。一切都很好，除了在每次操作之前使用lift是非常烦人的！
浏览 1提问于2012-01-30得票数 52
回答已采纳
2回答
扁平单叠
、、、
因此，我在我的第一个严肃的haskell项目中都有这样的代码：f = do mapExceptT我试图实现我的目标肯定有一些错误(可能有更简单的方法来实现)，但目前我有兴趣学习如何以更好的方式处理一堆单台变压器，如果有更好的方法的话。这是我知道如何在r上下文中获得B并将其提升到堆栈中更高级别的唯一方法。举
浏览 7提问于2015-09-13得票数 4
回答已采纳
2回答
我最近发现了一个叫做简单解释器的小，它使用monad。Con(2))
println(test(term0)) }一元计算在这里有什么用处这仅仅是为了给出一个一元语法的例子，还是有一个重要的影响？
浏览 2提问于2009-12-28得票数 11
回答已采纳
我已经被赋予了语言语义和我应该知道的一切，它只支持很少的操作，并且没有任何数据类型的概念。所以我可以在一个变量中存储任何东西并对其进行操作。谢谢！
浏览 2提问于2012-04-27得票数 3
回答已采纳
2回答
，我们得到了一行Haskell代码，其中显示：首先，TypeError是需要我们在赋值中实现的东西，所以我不能在这里发布数据声明，但我的问题是。我也不明白TC是如何被重用到等号右边的。
我认为a是一个类型变量，因为newtype的工作方式类似于数据。我不知道知道这会对我的理解有什么帮助。
浏览 5提问于2022-11-16得票数 2
回答已采纳
5回答
我的问题是：使用Haskell来解决涉及大量状态的问题(例如GUI编程或游戏编程)的优缺点是什么？提前谢谢。
浏览 2提问于2010-10-15得票数 14
回答已采纳
3回答
我是，用户可以将游戏循环指定为表单的一元计算：其中，Game monad有许多用于绘制、转换和与引擎进行接口的访问点。这是为了防止用户通过改变底层图形调用的状态来射击自己，或者在不需要的情况下加载东西。但是，在游戏循环已经开始之后，IO a的结果通常是有用的。特别是，在程序上生成图形元素的敌人出现在脑海中。getR
浏览 5提问于2014-12-10得票数 11
回答已采纳
我一直在一点一点地学习一些Haskell，并且(慢慢地)致力于理解State monad，尝试编写一个函数来重复State计算，直到状态满足一些布尔测试，并收集列表中的返回值以获得整体结果。(x,x+1))
[0,1,2,3,4,5,6,7,8,9,10]
对于这项任务，这是一个合理的函数，还是有一种更常用的方法？
浏览 2提问于2012-06-29得票数 6
回答已采纳
Haskell的Parsec的缩进包提供了一种解析缩进风格的语言(如Haskell和Python)的方法。它们中的大多数导出一组有用的解析器(例如，来自的newline，它解析换行符)或解析器组合符(例如，来自的count n p，它运行解析器p，n次)
然而，模块想要导出由用户参数化的函数和被解析语言的特征<
浏览 32提问于2013-03-10得票数 17
回答已采纳
我开始怀疑我在下一堂关于算法的课程中使用Haskell来学习Haskell和函数式编程的计划是不是一个好计划。
为了获得一些Haskell代码，我开始尝试实现一些简单的算法。第一: Gale-Shapley的稳定婚姻问题。由于还没有进入单体，所有的可变状态看起来都令人望而生畏，所以我转而使用稳定匹配的特征作为半匹配格上映射的固定点。这很有趣，但它不再是Gale-Shapley，它的复杂性也不是很好(那些晶格中
浏览 0提问于2011-07-23得票数 11
回答已采纳
我在Graham Hutton的Haskell编程的第8章中，我正在复制代码并在GHC中测试它。请在此处查看幻灯片：特别是幻灯片15type Parser a = String -> [(a, String)]正如你可能看到的，p是一个从Char到Bool的函数(例如isDigit)，而x是[(Char, String)]类型的，所以这是第一个错误
浏览 1提问于2010-04-09得票数 5
回答已采纳
我已经想了好几个小时了。我需要计算使用某个函数发生了多少次递归调用：maximum' [] = error "maximum of empty list" maximum' (x:xs) | otherwise = maxTail 事先非常感谢
浏览 0提问于2017-01-21得票数 3
回答已采纳
1回答
编码单台变压器的选择
、、、、
, diffUTCTime)有时，动态拦截或改变一元效应的行为是可取的。有更好的办法吗？上述问题不适用于某些效应系统，如多义词，其中没有明确的载体。像熔融效应和变压器这样的显式载流子的效应系统可以通过定义一个Interpreter变压器来解决这个问题。事实上，融合效应包括单基因转染的Control.Effect
浏览 1提问于2019-12-15得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
