问题标签 [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.
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
haskell - 这个 Haskell 表达式中的 redexes 是什么?
我正在为大学课程学习 Haskell,我有一个关于可简化表达式(redexes)的问题。我理解这个概念,但我仍然有一些我自己似乎无法弄清楚的问题。
假设您希望找到表达式中的所有可约表达式,如下所示:
在这个表达式中,一个明显的 redex 将是map (+1) (3:repeat 3))
因为它与 的定义匹配map
,所以 Haskell 将“减少”表达式并map
增加3
and 4:map (+1) (repeat 3)
。接下来会减少。
我的问题是:
已经是head (map (+1) (3:repeat 3))
一个redex,之前map
被评估过吗?
因为“输入”的“输入”head
与列表的构造函数不匹配(这是head
正在寻找的),所以我对它是否仍然是 redex 感到困惑,因为从逻辑上讲它还不能减少,但网上的定义似乎是说会的。