first とかでなくても a.filter { $0 % 2 == 0 }.reduce(0, +) とかでも lazy 入れないと filter で作られる Array が使い捨てされて無駄だから lazy 入れた方がお行儀がいいと思う。first とかでなくても a.filter { $0 % 2 == 0 }.reduce(0, +) とかでも lazy 入れないと filter で作られる Array が使い捨てされて無駄だから lazy 入れた方がお行儀がいいと思う。