Cleave 是一个非常有用的组合器,可以最大限度地减少代码重复。假设我想对Abundant、Perfect、Deficient 数字进行分类:
USING: arrays assocs combinators formatting io kernel math
math.order math.primes.factors math.ranges sequences ;
IN: adp
CONSTANT: ADP { "deficient" "perfect" "abundant" }
: proper-divisors ( n -- seq )
dup zero? [ drop { } ] [ divisors dup length 1 - head ] if ;
: adp-classify ( n -- a/d/p )
dup proper-divisors sum <=>
{ +lt+ +eq+ +gt+ } ADP zip
H{ } assoc-clone-like at ;
: range>adp-classes ( n -- seq )
1 swap 1 <range> [ adp-classify ] map
ADP dup
[
[
[ = ] curry
[ count ] curry
] map
cleave 3array
] dip
swap zip H{ } assoc-clone-like ;
: print-adp-stats ( seq -- )
ADP [
[ dup [ swap at ] dip swap "%s: %s" sprintf ] curry
] map cleave
[ print ] tri@ ;
range>adp-classes
无法编译,因为“无法将 cleave 应用于运行时计算值”。
如果我不能使用 cleave,那么我基本上必须这样做:
[ [ [ "deficient" = ] count ]
[ [ "abundant" = ] count ]
[ [ "perfect" = ] count ]
tri
] dip
这是蹩脚和更长的,如果键字符串数组更长,它会变得非常丑陋和长。此外,重要的是,如果键数组是在运行时生成的,那么不使用 cleave 是不可能的。
同样对于print-adp-stats
: 没有cleave
我将不得不在我的源代码中放置这个文字:
{
[ "deficient" dup [ swap at ] dip swap "%s: %s" sprintf ]
[ "perfect" dup [ swap at ] dip swap "%s: %s" sprintf ]
[ "abundant" dup [ swap at ] dip swap "%s: %s" sprintf ]
}
总的。
是否有组合器可以替换cleave
运行时计算值?我可以通过其他方式最小化丑陋的重复,同时仍然允许在运行时计算吗?