Questions tagged «reduction»

我正在寻找一些“推理规则”（类似于设置操作规则或逻辑规则），可以用来减少SQL查询的复杂性或大小。是否存在类似的东西？有论文，有工具吗？您自己发现的任何对等物吗？它在某种程度上类似于查询优化，但在性能方面却不一样。 换种说法：使用JOIN，SUBSELECT和UNION进行（复杂）查询是否有可能（或不能）通过使用一些转换规则将其简化为更简单的等效SQL语句，从而产生相同的结果？ 因此，我正在寻找SQL语句的等效转换，例如大多数SUBSELECT都可以重写为JOIN的事实。

67 sql  logic  complexity-theory  reduction 

my @s=<1 2 3 2 3 4>; say reduce {$^a < $^b}, @s; say [<] @s; # -------- # True # False 我的问题有两个方面：首先，为什么归约元<运算符对运算符的处理方式不同？似乎归约metaop估计使用了一个变量，在从true到false的第一次更改中，保留了该更改，原因是： say [\<] @s; # ---------- # (True True True False False False) 其次，我也想在reduce函数中使用它，即在reduce函数的花括号内引入一些代码，以便它提供与reduce meta运算符相同的结果。我该怎么做？谢谢。

12 raku  reduction 

我偶然发现了一些令人讨厌的东西。我知道haskell可用于弱头正常形式（WHNF），而且我知道这是什么。将以下代码键入ghci（据我所知，我正在使用命令：sprint，将表达式简化为WHNF）： let intlist = [[1,2],[2,3]] :sprint intlist 给intlist = _这使得完全意义的我。 let stringlist = ["hi","there"] :sprint stringlist 给stringlist = [_,_] 这已经使我感到困惑。但是之后： let charlist = [['h','i'], ['t','h','e','r','e']] :sprint charlist 令人惊讶地给 charlist = ["hi","there"] 据我了解，Haskell，字符串不过是字符列表，这似乎可以通过检查类型"hi" :: [Char]和来确认['h','i'] :: [Char]。 我感到困惑，因为根据我的理解，以上所有三个示例大致相同（列表列表），因此应简化为相同的WHNF，即_。我想念什么？ 谢谢

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form