Predicate Function
Врста чисте функције која одговара на питања са "да" или "не". Оваква функција као аргумент узима било који тип, а враћа boolean.
Предикатске функције у систему именујемо префиксима:
isarecanhasincludescontains
Приликом именовања предикатских функција користимо позитивне предикате због боље читљивости кода. Примери: is_valid, can_access, has_lowercase_character.