Filter

1. (Originally Unix, now also MS-DOS) A program that processes an input data stream into an output data stream in some well-defined way, and does no I/O to anywhere else except possibly on error conditions; one designed to be used as a stage in a pipeline (see plumbing).

Compare sponge.

2. (functional programming) A higher-order function which takes a predicate and a list and returns those elements of the list for which the predicate is true.

In Haskell:

filter p []



= [] filter p (x:xs) = if p x then x : rest else rest where rest = filter p xs

See also filter promotion.

[Jargon File]

< Previous Terms	Terms Containing filter	Next Terms >
filk fill-out form film at 11 FILO Filtabyte	ASCII art BIFF Bird-Meertens Formalism bogon filter bogosity	filter promotion FIMS Finagle's Law Financial Information eXchange fine adjuster