如果APL中有一个列表，我想检查每个相邻的对是否有序。因此，给定(a0, a1, ..., an)，我想计算：
(a0 ≤ a1) ∧ (a1 ≤ a2) ∧ .... ∧ (a[n-1] ≤ an)
我不想计算等价的形式，我想使用隐性编程。我的解决方案是((¯1↓⊢)∧.≤(1↓⊢))，但它似乎太冗长了。有人有什么想法吗？
∧/2≤/⊢
CCD_ 5使用大小为CCD_ 8的滑动窗口来计算CCD_。因此，如果X←2，那么我们得到成对的归约，或者换句话说，在随后的对之间插入f。需要⊢来完成3列2 ≤/ ⊢，然后我们只需要使用∧/将所有得到的布尔值"与"在一起
⍳∘≢≡⍋⍋计算等级，如果数组已经排序，那么它将只是元素的枚举，因此我们使用≡将等级与⍳∘≢进行比较，CCD_17是数组长度的数组的索引。
您可以在APLcart上搜索"；排序&"；。