问题标签 [rewriting]

我们目前在一个封闭的网络中运行 exim4 MTA。它被配置为智能主机的卫星。我们只发送此配置。因为我们使用 DavidFX，重写将不再适用，这是由 disposition-notification-to 和 return-receept-to 引起的。

我用 exim 过得去，但现在我们必须切换到 postfix，我很难理解如何转换我现有的重​​写并添加一些东西来丢弃几乎任何电子邮件软件可能使用的所有标题。

我已经搜索了一些模板和文档，包括联机帮助页。我想在开始配置之前得到通知。但这似乎是我遇到的一个特殊问题...

以下是我在 exim4 中重写规则的示例代码。我知道这是确保错误传递的一种肮脏方式，但我不知道另一种选择。

无回复地址仅用于外发，无法接收邮件（安全）。这些小组出于办公目的而位于另一个区域。如果我回答（在 Outlook2010 中）无回复地址，我会写信给无回复而不是组，这是由来自 DavidFX 的附加标题引起的，我想。我看到重写工作通常是因为正确的信封在标题内。

最后一次地址重写应确保测试中的每封邮件都不会到达其原始目的地，而是必须发送到我的个人地址。在使用 DavidFX 对 echo@univie.ac.at 进行测试时，我收到了回声，而不是原始邮件，因此配置的重写不会完全适用。

除了上述问题之外，我还必须使用 postfix config 来确保这一点。愿有人理解我，并且会出现一些提示。:)

据我所知，静态二进制重写是：

静态二进制检测发生在程序运行之前，处于重写目标代码或可执行代码的阶段。（由此处定义）

所以我认为静态二进制检测与二进制重写相同。

然而，昨天我的教授说“静态二进制检测与二进制重写不同”。

我试图搜索几篇论文和文章，但我仍然不知道它们为什么不同。

问：
这两个概念有区别吗？
如果甚至存在任何细微差别，那么“静态二进制检测”和“二进制重写”有什么区别？

我对术语重写系统的使用很感兴趣，我发现术语重写“有助于对函数式程序进行基本推理”，但我不明白它的含义。我没有使用过函数式编程，但我知道主要原则，比如纯函数和不变性。尽管如此，我还是不明白基本推理是指什么。此外，它是否与术语重写的反转有关？

我用 C 语言设计了一个能够生成 AST 的解析器，但是当我开始实现简化时，它真的搞砸了。我已经成功实施了以下汇总规则；

等等

但它需要大量的努力和代码来做到这一点。我所做的是搜索整个树并尝试找到我可以使用的模式（大量递归）然后如果有级联的 PLUS 节点，我将它们添加到列表中，然后在该列表上工作（求和数字并组合变量等）然后我从该列表中创建了另一棵树，并将其合并到现有的树中。这是我用来实现它的这篇论文。简而言之，鉴于2*x+1+1+x+0我得到的表达3*x+2。只是总结让我陷入了如此多的麻烦，我什至可以想象高级的东西。所以我意识到我错了。

我读过这个线程，但我真的对术语重写系统感到困惑（它到底是什么，如何在 C 中实现）。

有没有更通用和有效的方法来简化 AST？或者如何用 C 编写一个术语重写系统

我正在阅读这篇论文： https : //www.iitp.ac.in/~halder/Papers/Journal/ACSS_2016_2.pdf 和第 7 页上的数据库表 (a) loginfo 和sailinfo 进行了描述。

写了一些查询

我想构建表 (a) 中的查询并将其转换为表 (b) 中所示的查询。

我为一个示例编写这些查询的方式如下

我展示的这种技术称为查询重写方法。我想知道我是否想为通用查询实现它，这只是一个例子，那么有什么更好的方法来做同样的事情。请帮助我使用这种方法。

我正在尝试使用 Charles-Proxy 来测试我的 angular 1 代码上的一些错误流路径，因此我故意将使用 Charles Proxy 的一些 api 请求重写为 503。在网络选项卡中，我在选项请求中看到了 503当 $http 请求进入它的错误处理函数时，它返回 -1 作为错误状态而不是 503。

我的 Charles 代理重写正在命中，响应状态如下所示。

您可以在下面看到控制台输出（从图像中删除了 url）

当我不使用 Charles 重写时，它工作得很好，如果自然出现错误，它也能正常工作。

谢谢。

问题在底部以粗体显示。

LYAH 给出了将do符号与Writermonad一起使用的示例

do可以在没有符号的情况下重写定义：

到目前为止，一切都很好。

之后，本书介绍tell并编辑了 的定义multWithLog如下：

这又可以重写为：

然后这本书提出了一个对我来说似乎不清楚的观点，如果不是不准确的话：

最后一行很重要return (a*b)，因为表达式中最后一行do的结果是整个 do 表达式的结果。如果我们把tell作为最后一行，()将是这个do表达式的结果。我们会丢失乘法的结果。但是，日志将是相同的。

因此，我的第一个疑问来了：如果tell结果为()，那么代码不应该甚至不编译，因为()不能匹配预期的类型Int，也不能匹配除自身以外的任何其他类型()；那么作者想告诉我们什么？为了使这种非基于意见的内容，自从本书编写以来，Haskell 中是否发生了一些变化，这使得上述引用的陈述不清楚/不准确？

这是我的数据集的示例：

传感器----时间（GMT）-----温度（°C）

1 ------- 24/06/2002 05:02:01 --- 33.855

2 ------- 24/06/2002 05:02:01 --- 33.827

3 ------- 24/06/2002 05:02:01 --- 33.104

4 ------- 24/06/2002 05:02:01 --- 33.787

1 ------- 24/06/2002 05:02:02 --- 33.609

2 ------- 24/06/2002 05:02:02 --- 33.609

3 ------- 24/06/2002 05:02:02 --- 33.610

4 ------- 24/06/2002 05:02:02 --- 33.608

为了能够使用它，我必须重写这个数据集，使它看起来像这样：

时间 ---------------------- Sensor1 - Sensor2 - Sensor3 -Sensor4

2002 年 6 月 24 日 05:02:01 -- 33.855 -- 33.827 -- 33.104 -- 33.787

2002 年 6 月 24 日 05:02:02 --33.609 -- 33.609 -- 33.610 -- 33.608

我是 R 的初学者，所以这对我来说非常粗糙，我会对建议或提出的解决方案感到非常高兴。谢谢。

我以这种方式制作了一个动态文件夹：

我希望浏览器在根文件夹中查找图像。目前它在 example.com/user 中寻找它们

我有一个参数关系，只要两者都与相同的参数一起使用myeq，我想在谓词下重写。P如果我声明适当的态射，它会很好地工作：

然而，当我尝试应用一个函数时它停止工作，甚至注册为一个态射myeq：

我忘了申报什么吗？