Варта (програмування)

Варта — логічний вираз, який призначений для обмеження обчислювальних процесів і спрямування їх за певним напрямком в залежності від умови варти. Зазвичай, використовується в функціональних мовах програмування (наприклад, Haskell).

В наступному прикладі на Haskell, варта знаходиться між кожною парою "|" і "=":

f x
 | x > 0 = 1
 | otherwise = 0

Відповідний математичний запис:

$f(x) = \left\{ \begin{matrix} 1 & \mbox{if } x>0 \\ 0 & \mbox{otherwise} \end{matrix} \right.$

У цьому випадку варти знаходяться в пунктах if і otherwise.

Функція divisors повертає список дільників заданого числа n. У другому рядку визначення показана варта, яка обмежує вибір елемента списку дільників x тільки такими значеннями, які ділять вихідний параметр n без залишку.

divisors n = [x | x <- [1..(n - 1)],
                   n `mod` x == 0]