4- taqdimot

Algoritmlar va funktorlar

• Generator hech qanday dalillarni olmaydigan va ma'lum (hosil qilingan) qiymatlarni ketma-ketligini qaytaradigan funktordir. Bunga misol qilib soxta tasodifiy sonlar generatorini keltirish mumkin.
• Predikat - bu Boolean qiymatini qaytaradigan va masalan, ketma-ketliklarni filtrlashda foydalaniladigan funktordir.
• Odatda predikatlar bitta (bitta) bo'ladi, ya'ni bitta parametrni oladi.
• Ikki parametrni oladigan va ular orasidagi ba'zi bir munosabatlarga mos keladigan ikki tomonlama (ikkilik) predikatlar komparator deyiladi. Masalan, "kamroq" munosabatlarni aniqlash uchun taqqoslash moslamalari buyurtma qilingan assotsiativ idishlarda va standart algoritmda ishlatiladi.