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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Варталогічний вираз, який призначений для обмеження обчислювальних процесів і спрямування їх за певним напрямком в залежності від умови варти. Зазвичай, використовується в функціональних мовах програмування (наприклад, 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]