嘿，这个问题提得很有意思！你担心map()/filter()这类方法没法处理连续元素的问题确实合理，但咱们可以换个思路，用更贴合声明式风格的写法来实现需求，不用纠结于那几个方法本身——声明式编程的核心是描述要做什么，而非具体怎么做，咱们只要围绕这个核心来写就行。

方案一：用zip()生成连续三元组（最简洁的声明式写法） #

我们可以通过zip()把原数组和它的两个偏移版本打包，直接生成所有连续三个元素的元组，然后检查目标序列是否存在其中：

def arrayCheck(nums):
    return (1, 2, 3) in zip(nums, nums[1:], nums[2:])

这里的逻辑非常直观：zip(nums, nums[1:], nums[2:])会自动生成像(nums[0], nums[1], nums[2])、(nums[1], nums[2], nums[3])这样的连续三元组，我们只需要表达“检查(1,2,3)是否在这些三元组里”就够了，完全不用手动管理循环索引、终止条件这些细节，标准的声明式风格。

方案二：用any()结合生成器表达式（更显式的声明式写法） #

如果想更清晰地表达“是否存在任意一组连续的1,2,3”，可以用any()函数配合生成器表达式：

def arrayCheck(nums):
    return any(
        nums[i] == 1 and nums[i+1] == 2 and nums[i+2] == 3
        for i in range(len(nums)-2)
    )

any()函数本身就是声明式的——它的语义是“只要有一个满足条件的元素，就返回True”，内部的生成器表达式虽然用到了索引，但整体我们是在描述“要找的是满足条件的三元组是否存在”，而非一步步编写循环执行的步骤，同样符合声明式的要求。

这两种写法都避免了原代码中手动循环、索引判断的命令式逻辑，转而直接表达我们的业务意图，完美实现了声明式重构的目标~

内容的提问来源于stack exchange，提问作者Patton