WikiDer > Funktsional dasturlash mavzulari ro'yxati
List of functional programming topics
 | Bu maqola emas keltirish har qanday manbalar. (2010 yil iyun) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) |
Bu ro'yxati funktsional dasturlash mavzular.
Asosiy tushunchalar
- Dasturlash paradigmasi
- Deklarativ dasturlash
- Matematik ob'ektlar sifatida dasturlar
- Funktsiya darajasida dasturlash
- Sof funktsional dasturlash
- Jami funktsional dasturlash
- Lambda dasturlash
- Statik hajm
- Yuqori darajadagi funktsiya
- Yo'naltiruvchi shaffoflik
Lambda hisobi
Kombinatsion mantiq
- Ruxsat etilgan nuqta kombinatori
- SKI kombinatorini hisoblash
- B, C, K, W tizimi
- SECD mashinasi
- Grafika kamaytirish mashinasi
Intuitsistik mantiq
- Ketma-ket, ketma-ket hisoblash
- Tabiiy chegirma
- Intuitsionalistik nazariya
- BHK talqini
- Kori-Xovard yozishmalari
- Lineer mantiq
- O'yin semantikasi
Turlar nazariyasi
- Lambda kalkulyatori
- Yozilgan va noaniq tillar
- Imzo yozing
- Natija
- Ma'lumot turi
- Algebraik ma'lumotlar turi (umumlashtirilgan)
- Turi o'zgaruvchisi
- Birinchi darajali qiymat
- Polimorfizm
- Qurilishlarning hisob-kitobi
Denotatsion semantika
Kategoriya nazariyasi
Operatsion masalalar
- Grafikni qisqartirish
- Qat'iy dasturlash tili
- Dangasa baho, ishtiyoq bilan baholash
- Spekulyativ baho
- Yon ta'siri
- Topshiriq
- Yopish
- Davomi
- Davom etish uslubi
- Operatsion semantikasi
- Davlat o'tish tizimi
- Simulyatsiyani oldindan buyurtma qilish
- Bisimulyatsiya
- Funktsional dasturlashdagi monadalar
- Istisnolardan foydalanish
- Axlat yig'ish