问题标签 [quantifiers]

我一直在尝试研究如何在 Scala 中实现 Church 编码的数据类型。似乎它需要 rank-n 类型，因为您需要 type 的一流const函数forAll a. a -> (forAll b. b -> b)。

但是，我因此能够对对进行编码：

对于列表，我能够编码cons：

但是，空列表问题更大，我无法让 Scala 编译器统一类型。

你能定义 nil，这样，给定上面的定义，下面的编译吗？

正则表达式是即时构建的，但我已将其输出到萤火虫：

错误是

我不知道从哪里开始。

实际代码是：

更新： 根据 Bennor McCarthy 的指示，我将代码更改为：

Firebug 仍然告诉我：

另一个更新 看起来我不得不双斜线，这解决了问题！

最终代码

我有一个很长的模板，我需要根据某些模式从中提取某些字符串。当我浏览一些示例时，我发现在这种情况下使用量词很好。例如以下是我的模板，我需要从中提取while和doWhile.

我需要提取整个文本，从$while($variable)until开始$endWhile。然后我需要处理 $variable 的值。之后，我需要在原始文本之间插入文本$while。$endWhile我有提取变量的逻辑。但我不确定如何在这里使用量词或模式匹配。有人可以为此提供一个示例代码吗？任何帮助将不胜感激

我正在尝试从以下格式的数据流中提取 JSON 数据块：

该流包含上述模式的许多实例，并且每个实例中 JSON 数据的长度不同，如前面的Content-Length标头所示。

我希望创建一个匹配每个内容长度标头值的正则表达式，并使用它来匹配关联的内容块。我设想这样的事情......

...但我不确定如何将CONTENT组的量词指定为动态值。

注意：虽然标题在不同的行中，并且内容与标题之间用空行分隔，但内容后面没有换行符，因此无法使用它来确定内容的结尾。

任何建议，将不胜感激。

谢谢，蒂姆

好的，所以我正在做一个项目，我需要一个正则表达式，它可以匹配 * 后跟 1-4 个空格或制表符，然后是一行文本。现在，我正在使用 .* 进行后视以进行测试。但是，我可以让它显式匹配 1、2 或 4 个空格/制表符，但不能匹配 1-4。我正在测试以下块

这些是我正在测试的两种模式(?<=(\*[ \t]{3})).*，它们按预期工作并匹配第二行，如果我将 3 替换为 1、2 或 4 则相同，但是如果我将其替换为 1,4 形成以下模式(?<=(\*[ \t]{1,4})).*，则它不再匹配任何的行，老实说，我不明白为什么。我试过谷歌搜索但没有成功。我正在使用 g(lobal) 标志。

我正在努力理解与existsHaskell 类型系统相关的关键字。据我所知，默认情况下Haskell中没有这样的关键字，但是：

• 在像这样的声明中有添加它们的扩展data Accum a = exists s. MkAccum s (a -> s -> s) (s -> a)
• 我看过一篇关于它们的论文，并且（如果我没记错的话）它指出exists关键字对于类型系统来说是不必要的，因为它可以被概括为forall

但我什至无法理解是什么exists意思。

当我说 时forall a . a -> Int，它意味着（在我的理解中，我猜是不正确的）“对于每个 (type) a，都有一个类型的函数a -> Int”：

当我说exists a . a -> Int时，它甚至意味着什么？“至少有一种类型a具有某种类型的功能a -> Int”？为什么要写这样的声明？目的是什么？语义？编译器行为？

请注意，它并不是一个可以编译的真实代码，只是我想象的一个例子，然后我听说了这些量词。

PS 我不是 Haskell 的新手（可能像二年级学生），但我缺乏这些东西的数学基础。

我了解它们是什么，并且我已经看到了有关这些的示例。一个这样的例子是

现在上面和这个有什么区别

怎么样

(∀x) (P(x)) ≡ NOT (∃x) (NOT (P(x)))

有人可以解释一下吗？

我想对“a”的零到“m”个连续出现或“b”的零到“n”个连续出现的替代进行贪婪匹配。如果我做

它不起作用，因为当我有 'b' 序列时，它将与 'a{,m}' 匹配，而替代的 'b{,n}' 将不会被查看，也不会是贪婪匹配.

是否可以使用原子分组（或以其他方式）模拟所有格量词（.NET 不支持它）？

笔记。我发现(x+x+)++y可以用 替换(?>(x+x+)+)y，但这只是一个例子，我不知道是否总是{something}@+等于(?>{something}@)（@量词在哪里）。

我试图匹配以下行

和

无论如何，我用每个单词的一半填充自动变量 $1,$2,$3..$8 等。IE