5 -ma'ruza. Qiymatlar fazosida λ-kesishuv nazariyasi. Λl – to’plamni qurish algoritmlari. Reja

3. Dasturlashda anonim funksiya
Bir qarashda lambda hisoblash tili juda ibtidoiy ko'rinishi mumkin. Ammo, aslida, uning yordamida dasturlash uchun zarur bo'lgan deyarli har qanday konstruksiyalarni kodlash mumkin. Lambda hisobi mantiqiy qiymatlarni, tartiblangan juftlarni, natural sonlarni va ro'yxatlarni, ya'ni dasturda paydo bo'lishi mumkin bo'lgan barcha asosiy ma'lumotlar tuzilmalarini kodlash uchun yetarlicha imkon beradi.
Kodlash usullari mutlaqo tabiiy ko'rinmasligi mumkin va ular, albatta, hisoblash jihatidan samarali emas. Bunda ular Turing mashinasi uchun mashina kodlari va dasturlariga o'xshaydi. Biroq, Tyuring mashinasi dasturlaridan farqli o'laroq, lambda dasturlari o'z-o'zidan matematik qiziqish uyg'otadi va tadqiqotchilar nazariy tadqiqotlarida ularga qayta-qayta murojaat qiladi. Ko'rib chiqilgan kodlash usullarining aksariyati dasturning kirish ma'lumotlari (funksiyasi) uning boshqaruv tuzilmasini (qisman yoki to'liq) o'z ichiga olishi mumkinligi haqidagi g'oyani o'zida mujassam etadi.
Dasturlashda anonim funksiya - foydalanish joyida e'lon qilingan va ularga kirish uchun noyob identifikatorni olmaydigan maxsus turdagi funksiyalar. Ko'p dasturlash tillarida qo'llab-quvvatlanadi .
Odatda, anonim funksiyalarni yaratishda ular to'g'ridan-to'g'ri chaqiriladi yoki funksiyaga havola o'zgaruvchiga tayinlanadi, keyinchalik bu funksiyani bilvosita chaqirish uchun ishlatilishi mumkin. Ammo ikkinchi holatda, anonim funksiya nom oladi va anonim bo'lishni to'xtatadi. Agar anonim funksiya uning tanasida mavjud bo'lmagan o'zgaruvchilarga uzatilsa, unda bunday funksiya tutashuv deyiladi. Lambda ifodasi anonim funksiyani aniqlash uchun ko'p dasturlash tillarida keng tarqalgan sintaksis konstruksiya hisoblanadi.

Dasturlash tili	Qo'shish amali yozuviga misol