问题标签 [redex]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
36 浏览

php - 使用 PHP 和 YITH 批量编辑从 Regex 中排除一个单词

我是 PHP 和 Regex 的新手,我正在尝试使用 Yith Bulk Editing Woocommerce 和 WordPress 从搜索中排除一个词。

现在我为插件付费,但支持速度很慢,根本没有帮助。

当我使用正则表达式查找产品时,我拥有超过 10,000 个产品。

一个例子,我有超过 3500 个紧固件六角螺母,我想排除任何含有尼龙的六角螺母。所以我在搜索中使用了以下内容,Hex Nut.?+(?!Nylon).?+$但没有找到任何产品,我遇到了一个网站https://regex101.com/,它可以帮助您调试正则表达式,但对于现在使用它的人来说,它不起作用。

我试过以下

平台如下

YITH WooCommerce 批量产品编辑 - 版本 1.2.29

Woocommerce - 版本 4.9.0

WordPress - 版本 5.6

0 投票
1 回答
67 浏览

haskell - 这个 Haskell 表达式中的 redexes 是什么?

我正在为大学课程学习 Haskell,我有一个关于可简化表达式(redexes)的问题。我理解这个概念,但我仍然有一些我自己似乎无法弄清楚的问题。

假设您希望找到表达式中的所有可约表达式,如下所示:

在这个表达式中,一个明显的 redex 将是map (+1) (3:repeat 3))因为它与 的定义匹配map,所以 Haskell 将“减少”表达式并map增加3and 4:map (+1) (repeat 3)。接下来会减少。

我的问题是:

已经是head (map (+1) (3:repeat 3))一个redex,之前map被评估过吗?

因为“输入”的“输入”head与列表的构造函数不匹配(这是head正在寻找的),所以我对它是否仍然是 redex 感到困惑,因为从逻辑上讲它还不能减少,但网上的定义似乎是说会的。