- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
Root3 = \fcl -> case fcl of { f@? + c@? + l => {f = -6ren">
在此操作中,我在 RGL 中遇到了别名符号:
mkRoot3 : Str -> Root3 = \fcl -> case fcl of {
f@? + c@? + l => {f = f ; c = c ; l = l} ;
_ => error ("mkRoot3: too short root" ++ fcl)
} ;
它是什么意思,有什么用?
最佳答案
字符@用于模式匹配。表达式 foo@bar
表示您使用正则表达式 bar
匹配某些内容,并将结果绑定(bind)到变量 foo
。
让我们首先回顾一下您可以在没有@的情况下对字符串进行模式匹配的一些方法:
example1 : Str -> Str = \s -> case s of {
"x" => "the string is exactly x" ;
"x" + _ => "the string starts with x" ;
? => "the string is one character long" ;
? + ? => "the string is two characters long" ;
("a"|"i"|"u") => "the string is a vowel" ;
_ => "whatever, I'm bored"
} ;
在所有这些中,我们都没有重复使用右侧的字符串。如果你想这样做,你可以将它绑定(bind)到一个变量中,就像这样——还没有使用 @ ,因为我们只是匹配字符串的开头和结尾:
example2 : Str -> Str = \s -> case s of {
"x" + rest => "the string starts with x and ends with" ++ rest ;
start + "x" => "the string starts with" ++ start ++ "and ends with x" ;
_ => "..." } ;
最后,如果您想将某些内容与正则表达式匹配并使用与 RHS 上的正则表达式匹配的任何内容,现在您需要使用 @:
example3 : Str -> Str = \s -> case s of {
v@("a"|"i"|"u") => "the string is the vowel" ++ v ;
a@? => "the string is one character long:" ++ a ;
a@? + b@? => "the string is two characters long:" ++ a ++ "followed by" ++ b ;
_ => "..." } ;
如果您只是尝试匹配 a + b => …
,或任何其他仅包含变量的模式,它不会匹配恰好 2 个字符长的单词。相反,它只会将空字符串与其中一个匹配,将完整字符串与另一个匹配。
所以匹配正则表达式 ?
,它只匹配一个字符,然后将结果绑定(bind)到一个变量,这是唯一可以匹配精确长度的东西,然后重用匹配的字符的方法/右侧的字符串。
您可以在 http://www.grammaticalframework.org/doc/gf-refman.html#pattern-matching 阅读更多关于模式匹配的内容。 .
关于gf - GF中别名 "@"是什么意思?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/70736782/
在关于变体构造的 GF 教程中,它说要在 GF 上表达变体,应使用以下方法之一。lin Delicious = {s = "delicious" | "exquisit" | "tasty"} ;li
我在 GF 库中检查了“我 friend 的房子”中的“’s”,但我似乎找不到创建这种关系的正确方法。希望有人指导我解决这个问题。 欣赏🌹🌹 最佳答案 核心 RGL 中的所有格确实没有任何功能。仅
我使用 Phrase 生成句子“播放 BBC 主持的喜剧电影”。 mkPhr (mkVP( (mkV2 (mkV ("Play"))) (mkNP
已结束。此问题不符合 Stack Overflow guidelines .它目前不接受答案。 要求我们推荐或查找书籍、工具、软件库、教程或其他场外资源的问题对于 Stack Overflow 来说是
每当我在 ubuntu 中执行 sudo su 时,每次使用任何东西都没有任何问题时,我都会收到这个奇怪的错误,但我只想问为什么它会出现,即使我已经删除了这个文件,为什么它会自动执行 bash 到这个
在此操作中,我在 RGL 中遇到了别名符号: mkRoot3 : Str -> Root3 = \fcl -> case fcl of { f@? + c@? + l => {f =
我正在尝试设置我的 .vimrc所以gf通过尝试打开与当前 FileType 具有相同扩展名的文件,将自动处理缺少文件扩展名的路径。 换句话说,我想要这样的东西: autocmd FileType
我尝试了 gF,它的行为似乎不像 :help gF 中提到的那样 如果光标位于条目 x.c 上并且我输入 gf 文件将被打开。 如果光标位于条目 x.c:3 上并且我输入 gF 我得到 E447: C
我正在尝试为莫尔斯电码培训师生成随机的英语练习短语。我想弄清楚如何用英语处理性别协议(protocol)。我希望能够生成诸如“他是儿子”、“她是母亲”、“这是一扇门”之类的短语,但要避免诸如“他是母亲
在下面的 ansible 代码中,当我将光标移动到 get_service_restart_count.yml 并在 vim 中输入“gf”时,它会打开该文件。 - name: Delete PVC
在下面的 ansible 代码中,当我将光标移动到 get_service_restart_count.yml 并在 vim 中输入“gf”时,它会打开该文件。 - name: Delete PVC
这 2 个函数执行扩展欧几里德算法,然后求乘法逆。订单似乎是正确的,但根据悉尼大学的工具,它并没有像我期望的那样返回 http://magma.maths.usyd.edu.au/calc/由于这是在
使用 vim 时,我在文件之间跳转: 标签: ctrl-] 和 ctrl-t, 跳转标记:ctrl-i 和 ctrl-o 以及 编辑位置:g-;和 g-,。 我需要的是有点不同...... 从我使用
当前的 gf 命令将打开 *.pdf 文件作为 ascii 文本。我希望使用外部工具(如 okular、foxitreader 等)打开 pdf 文件。我尝试使用 autocmd 来实现它,如下所示:
这个问题不太可能帮助任何 future 的访问者;它只与一个小的地理区域、一个特定的时间点或一个非常狭窄的情况有关,这些情况并不普遍适用于互联网的全局受众。为了帮助使这个问题更广泛地适用,visit
我有一个 GIF 动画,一只猫从左跑到右,然后转身从右跑到左。看来我的代码中的所有内容都是正确的。在我的代码过于复杂之前,它似乎工作得很好,但是移动时 gif 被卡住了。现在我修改了代码,但现在 gi
已结束。此问题正在寻求书籍、工具、软件库等的推荐。它不满足Stack Overflow guidelines 。目前不接受答案。 我们不允许提出寻求书籍、工具、软件库等推荐的问题。您可以编辑问题,以便
我经常在 vim 中使用 gf 打开文件。通常这些文件路径使用环境变量。我正在使用 tcl shell 来启动一些脚本。当环境变量在没有::env 的情况下使用时(tcl 的 env 所必需的选项),
在 gVim 中,如果光标位于包含空格的文件名(如 "C:\Program Files\Vim\vim71\README.txt")上,则使用 'gf' 失败。 我找到了 isfname选项,但文档说
例如,如果我有类似的东西: path = '/mnt/data/files/' 我的光标在 '/mnt/data/files/' , 我打了一个 gf -like 命令,它会打开 vim :Explo
我是一名优秀的程序员,十分优秀!