问题标签 [rewriting]

I'm currently working on a modified version of the Shunting Yard Algorithm that would work with variables, but I cant figure out how to get it to work. For example, I would want the algorithm to re-write 2 * (2x + 5) - 5 to 4x + 5. Any ideas / links to already implemented algorithms that does this already?

我已经成功编写了 .htaccess 代码以从 url 中删除 .php 但是我想添加一个异常并将其保留在某些文件中（例如 www.mysite.com/samples.php）。

我尝试了很多规则，但没有任何效果。有人可以帮帮我吗。

我也想在那里有一个例外，以便它允许在某些文件中使用 .php 并将其从不属于例外规则的其他文件中删除。

问候

什么是最好的写入我正在尝试的文本文件

产生输出：

有什么方法可以使内容适当间隔以看起来很漂亮：

这样它就会考虑第一列中最长的内容长度，并相应地放置第二列！

我正在阅读 Simon Peyton Jones 等人撰写的论文。命名为“按规则行事：重写作为 GHC 中一种实用的优化技术”。在第二部分，即“基本思想”中，他们写道：

考虑熟悉的map函数，它将函数应用于列表的每个元素。用 Haskell 编写，map如下所示：

现在假设编译器遇到以下调用map：

我们知道这个表达式等价于

（其中“.”是函数组合），我们知道后一种表达式比前一种更有效，因为没有中间列表。但是编译器没有这样的知识。

一种可能的反驳是编译器应该更聪明——但程序员总是知道编译器无法弄清楚的事情。另一个建议是：允许程序员将这些知识直接传达给编译器。这就是我们在这里探索的方向。

我的问题是，为什么我们不能让编译器更智能？作者说“但程序员总是知道编译器无法弄清楚的事情”。但是，这不是一个有效的答案，因为编译器确实可以计算出它map f (map g xs)等价于map (f . g) xs，这是如何：

1. map g xs与 统一map f [] = []。

   因此map g [] = []。

2. map f (map g []) = map f [].

   map f []与 统一map f [] = []。

   因此map f (map g []) = []。

3. map g xs与 统一map f (x:xs) = f x : map f xs。

   因此map g (x:xs) = g x : map g xs。

4. map f (map g (x:xs)) = map f (g x : map g xs).

   map f (g x : map g xs)与 统一map f (x:xs) = f x : map f xs。

   因此map f (map g (x:xs)) = f (g x) : map f (map g xs)。

因此，我们现在有规则：

如您所见f (g x)， is just(f . g)并且map f (map g xs)正在被递归调用。这正是 的定义map (f . g) xs。这种自动转换的算法似乎很简单。那么为什么不实现这个而不是重写规则呢？

I have two pages index.php and page_detail.php, I'm using the following code in .htaccess for rewriting:

URL rewriting is working good when I am on the index.php page. When as I move to detail_page.php then every href shows after page URL the following:

First page URL (good working): example.com/country/586/3.html

Trouble in: example.com/country/586/country/586/3.html

HTML link code:

关于关系Rle (<=)，我可以在Rplus (+) 和Rminus (-) 内重写，因为两个二元运算符的两个位置都有固定的方差：

不幸的是，Rmult (*) 没有这个属性：方差取决于另一个被乘数是正数还是负数。是否可以定义条件态射，以便 Coq 执行重写步骤并简单地添加被乘数的非负性作为证明义务？谢谢。

我需要在我的网站中隐藏任何类型的页面扩展，这些扩展已经托管了 100 多个页面 asp、html 和 aspx 页面。我想隐藏所有类型的页面扩展名。我使用以下仅适用于 .aspx 的代码。不适用于 .html 和 .asp 页面扩展

不久前，我看到了一个针对网站元文件的新 URL 路径前缀的提议——也就是说，不是将所有内容都放在根级别（如/robots.txt和/favicon.ico），而是提供一个前缀/__something_here__/metafilehere

这个想法是在为一大堆将存在于其中（而不是根级别）的新元文件重写/等时给出一个前缀来处理。

我不记得该__something_here__部分在任何地方是什么，而且我搜索的任何内容都没有给出任何线索。

我遇到了 Wamp Server 和 URL 重写的问题。我已经使用他的.htaccess从生产服务器导入我的项目。URL 重写在生产环境中运行良好，但在 localhost 中却不行。

在我的 Wamp 配置中，rewrite_module已激活。在 httpd.conf 中：

但是，在我的网站上，链接http://localhost/conditions返回 404 错误。我的 .htaccess ：

所有文件都在 wamp 的根目录 (c:/wamp/www/)。

帮助 ：（

这是我第一次使用 nginx ，我有两个问题，第一个是我想将http://localhost/project 自动重定向到http://localhot/project/en/ 并且 en 是子目录项目。

第二个问题：在 localhost/project/en/ 我可以看到 index.php 我的意思是主页，但是从项目中进行的每次重定向都会给我 404 not found 像 localhost/project/en/people/ 或 localhost/project/en/人/文章1

注意：我在 windows 中使用带有 drupal 和 . 这是我的配置：