- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我一直在理解 Monad 的工作原理。我正在使用 Grammar S->aSb 编写解析器。输入是“a^n b^n for n>=0”,例如“aabb”;此解析器的返回值是一个 bool 值。
以前通过为这个语法使用临时变量。现在我想通过使用 Monad 而不是临时变量来实现这个解析器。但我尝试了很多次,但仍然停留在这个问题上。
object Parser {
case class Parser[+A](parse: List[Char] => Option[(A, List[Char])]) {
def accepts(l: List[Char]): Boolean
// If List[Char] is empty after parsing it was successful
= parse(l).map(_._2.isEmpty).getOrElse(false)
// Not sure that this exactly does
def flatMap[B](f: A => Parser[B]): Parser[B] = Parser {
input => parse(input).flatMap { case (x, midput) => f(x).parse(midput) }
}
// a.map( i => i + 1) parses using Parser a and applies function i+1
def map[B](f: A => B): Parser[B] = Parser {
input => parse(input) match {
case Some((t, remains)) => Some((f(t), remains))
case _ => None
}
}
// a.orElse(b) tries to use Parser a first
// If a returns None it tries Parser b
// If b also returns None all rules are exhausted
def orElse[B](that: Parser[B]): Parser[Either[A, B]] = Parser {
input => parse(input) match {
case Some((p, remains)) => Some((Left(p), remains))
case None => that.parse(input) match {
case Some((p, remains)) => Some((Right(p), remains))
case None => None
}
}
}
}
// Not sure if this is correct
def unit[T](x: T): Parser[T] = Parser {
_ => Some((x, List()))
}
// Consumes c if possible
def char(c: Char): Parser[Unit] = Parser {
case x :: rest if c == x => Some(((), rest))
case _ => None
}
def main(args: Array[String]): Unit = {
val S: Parser[Int]
= char('a').flatMap { _ =>
S.flatMap { i =>
char('b').map { _ =>
i + 1
}
}
}.orElse(unit(0)).map(_.merge)
S.accepts("".toList) // true
S.accepts("aaabbb".toList) // true
S.accepts("aaa".toList) // false
S.accepts("bbbaaa".toList) // false
}
}
最佳答案
通常,当我们说“单子(monad)解析”时,我们的意思是使 Parser
成为一个单子(monad)。我们写
class Parser[+A] { ... }
A Parser[A]
获取输入并返回解析后的 A
,或者它可能失败,或者可能会留下一些输入。让我们保持简单:Parser[A]
接受一个 List[Char]
,Option
返回一个 A
和剩余的 List[Char]
。
case class Parser[+A](parse: List[Char] => Option[(A, List[Char])]) {
def accepts(l: List[Char]): Boolean
= parse(l).map(_._2.isEmpty).getOrElse(false)
// do not bother with the List('#') stuff
}
您使用组合器构建了一个解析器
。 a.flatMap(b)
是一个匹配 a
后跟 b
// case class Parser[+A](...) {
def flatMap[B](f: A => Parser[B]): Parser[B] = Parser { input =>
parse(input).flatMap { case (x, midput) => f(x).parse(midput) }
}
// }
和 Parser.unit(x)
返回 x
而不消耗任何输入,这就是 Monad
很重要的原因。您还应该有 map
,它可以在不改变匹配内容的情况下改变返回值。您还需要一个组合器来进行交替。我会把这些留给你去实现。
object Parser {
def unit[T](x: T): Parser[T] = ???
}
// case class Parser[+A](...) {
def map[B](f: A => B): Parser[B] = ???
// left-biased greedy: if this parser succeeds (produces Some) then
// that parser is never tried (i.e. no backtracking)
// replacing Option with Seq is the easiest way to get backtracking
// but we don't need it to define S
def orElse[B](that: Parser[B]): Parser[Either[A, B]] = ???
// }
您还需要一些基本的 Parser
来构建更复杂的。 Parser.char(x)
匹配单个字符 x
并且不返回任何有用信息。
// object Parser {
def char(c: Char): Parser[Unit] = Parser {
case x :: rest if c == x => Some(((), rest))
case _ => None
}
// }
然后您可以以一种非常自然的方式定义S
。您甚至可以让解析器返回一个 Int
,表示匹配了多少 a
/多少 b
:
lazy val S: Parser[Int]
= (for { _ <- Parser.char('a')
i <- S
_ <- Parser.char('b')
} yield (i + 1)).orElse(Parser.unit(0)).map(_.merge)
// i.e
lazy val S: Parser[Int]
= Parser.char('a').flatMap { _ =>
S.flatMap { i =>
Parser.char('b').map { _ =>
i + 1
}
}
}.orElse(Parser.unit(0)).map(_.merge)
S.accepts("".toList) // true
S.accepts("aaabbb".toList) // true
S.accepts("aaa".toList) // false
S.accepts("bbbaaa".toList) // false
您不必在 S
的定义中移动 List[Char]
,因为我们编写的组合器会为您完成这项工作,只留下语法本身的逻辑。
关于scala - 如何实现单子(monad)解析?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56518179/
我一直在使用 AJAX 从我正在创建的网络服务中解析 JSON 数组时遇到问题。我的前端是一个简单的 ajax 和 jquery 组合,用于显示从我正在创建的网络服务返回的结果。 尽管知道我的数据库查
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
我在尝试运行 Android 应用程序时遇到问题并收到以下错误 java.lang.NoClassDefFoundError: com.parse.Parse 当我尝试运行该应用时。 最佳答案 在这
有什么办法可以防止etree在解析HTML内容时解析HTML实体吗? html = etree.HTML('&') html.find('.//body').text 这给了我 '&' 但我想
我有一个有点疯狂的例子,但对于那些 JavaScript 函数作用域专家来说,它看起来是一个很好的练习: (function (global) { // our module number one
关闭。此题需要details or clarity 。目前不接受答案。 想要改进这个问题吗?通过 editing this post 添加详细信息并澄清问题. 已关闭 8 年前。 Improve th
我需要编写一个脚本来获取链接并解析链接页面的 HTML 以提取标题和其他一些数据,例如可能是简短的描述,就像您链接到 Facebook 上的内容一样。 当用户向站点添加链接时将调用它,因此在客户端启动
在 VS Code 中本地开发时,包解析为 C:/Users//AppData/Local/Microsoft/TypeScript/3.5/node_modules/@types//index而不是
我在将 json 从 php 解析为 javascript 时遇到问题 这是我的示例代码: //function MethodAjax = function (wsFile, param) {
我在将 json 从 php 解析为 javascript 时遇到问题 这是我的示例代码: //function MethodAjax = function (wsFile, param) {
我被赋予了将一种语言“翻译”成另一种语言的工作。对于使用正则表达式的简单逐行方法来说,源代码过于灵活(复杂)。我在哪里可以了解更多关于词法分析和解析器的信息? 最佳答案 如果你想对这个主题产生“情绪化
您好,我在解析此文本时遇到问题 { { { {[system1];1;1;0.612509325}; {[system2];1;
我正在为 adobe after effects 在 extendscript 中编写一些代码,最终变成了 javascript。 我有一个数组,我想只搜索单词“assemble”并返回整个 jc3_
我有这段代码: $(document).ready(function() { // }); 问题:FB_RequireFeatures block 外部的代码先于其内部的代码执行。因此 who
背景: netcore项目中有些服务是在通过中间件来通信的,比如orleans组件。它里面服务和客户端会指定网关和端口,我们只需要开放客户端给外界,服务端关闭端口。相当于去掉host,这样省掉了些
1.首先贴上我试验成功的代码 复制代码 代码如下: protected void onMeasure(int widthMeasureSpec, int heightMeasureSpec)
什么是 XML? XML 指可扩展标记语言(eXtensible Markup Language),标准通用标记语言的子集,是一种用于标记电子文件使其具有结构性的标记语言。 你可以通过本站学习 X
【PHP代码】 复制代码 代码如下: $stmt = mssql_init('P__Global_Test', $conn) or die("initialize sto
在SQL查询分析器执行以下代码就可以了。 复制代码代码如下: declare @t varchar(255),@c varchar(255) declare table_cursor curs
前言 最近练习了一些前端算法题,现在做个总结,以下题目都是个人写法,并不是标准答案,如有错误欢迎指出,有对某道题有新的想法的友友也可以在评论区发表想法,互相学习🤭 题目 题目一: 二维数组中的
我是一名优秀的程序员,十分优秀!