Filter (高阶函数)
在函式語言程式設計中，過濾器（filter）是一個高階函式，它按某種次序處理一個資料結構（通常是列表），來產一個新的資料結構，它精確的包含最初資料結構中給定謂詞對其返回布林值 true 的那些元素。