Answers:
的X
(交叉算子)和[+]
(还原metaoperator [ ]
与添加剂操作者+
)使这个非常容易:
要表示1的两倍总和∑³ x = 1 ∑ y = 1 2x + y,可以执行以下操作:
[+] do for 1..3 X 1..5 -> ($x, $y) { 2 * $x + $y }
# for 1..3 X 1..5 # loop cross values
# -> ($x, $y) # plug into x/y
# { 2 * $x + $y } # calculate each iteration
# do # collect loop return vals
# [+] # sum them all
如果要为此创建一个sub
,则可以将其编写为以下2
sub ΣΣ (
Int $aₒ, Int $aₙ, # to / from for the outer
Int $bₒ, Int $bₙ, # to / from for the inner
&f where .arity = 2 # 'where' clause guarantees only two params
) {
[+] do for $aₒ..$aₙ X $bₒ..$bₙ -> ($a, $b) { &f(a,b) }
}
say ΣΣ 1,3, 1,5, { 2 * $^x + $^y }
甚至简化事情来
sub ΣΣ (
Iterable \a, # outer values
Iterable \b, # inner values
&f where .arity = 2) { # ensure only two parameters
[+] do f(|$_) for a X b
}
# All of the following are equivalent
say ΣΣ 1..3, 1..5, -> $x, $y { 2 * $x + $y }; # Anonymous block
say ΣΣ 1..3, 1..5, { 2 * $^x + $^y }; # Alphabetic args
say ΣΣ 1..3, 1..5, 2 * * + * ; # Overkill, but Whatever ;-)
请注意,通过键入它,我们可以确保传递范围,但是通过将其键入为Iterable
而不是Range
我们可以允许更有趣的求和序列,例如,ΣΣ (1..∞).grep(*.is-prime)[^99], 1..10, { … }
可以让我们使用前100个素数的序列。
实际上,如果我们真的愿意,我们可以改头换面,并允许使用任意深度求和运算符,这可以通过将函数向左移动来简化:
sub ΣΣ (
&function,
**@ranges where # slurp in the ranges
.all ~~ Iterable && # make sure they're Iterables
.elems == &function.arity # one per argument in the function
) {
[+] do function(|$_) for [X] @ranges;
};
就像[+]
总结我们f()
函数的所有值一样,[X]
迭代地计算叉,例如,[X] 0..1, 3..4, 5..6
先做0..1 X 3..4
or (0,3),(0,4),(1,3),(1,4)
,然后再做(0,3),(0,4),(1,3),(1,4) X 5..6
or (0,3,5),(0,4,5),(1,3,5),(1,4,5),(0,3,6),(0,4,6),(1,3,6),(1,4,6)
。
1.对不起,我不允许我做LaTeX,但是您应该明白这一点。2.是的,我知道这是一个下标字母O,而不是零,下标数字通常不是有效的标识符,但是您可以使用Slang :: Subscripts启用它们。