WikiDer > Функционалды бағдарламалау тақырыптарының тізімі
List of functional programming topics
 | Бұл мақала жоқ сілтеме кез келген ақпарат көздері. (Маусым 2010) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) |
Бұл тізімі функционалды бағдарламалау тақырыптар.
Негізгі ұғымдар
- Бағдарламалау парадигмасы
- Декларативті бағдарламалау
- Математикалық объект ретінде бағдарламалар
- Функция деңгейінде бағдарламалау
- Таза функционалды бағдарламалау
- Жалпы функционалды бағдарламалау
- Lambda бағдарламалау
- Статикалық ауқым
- Жоғары ретті функция
- Анықтамалық мөлдірлік
Ламбда есебі
Комбинациялық логика
- Бекітілген нүктелік комбинатор
- SKI комбинаторының есебі
- B, C, K, W жүйесі
- SECD машинасы
- Графикті азайту машинасы
Интуициялық логика
- Тізбектелген, дәйекті есептеу
- Табиғи шегерім
- Интуитивті тип теориясы
- BHK интерпретациясы
- Карри-Ховард корреспонденциясы
- Сызықтық логика
- Ойын семантикасы
Түр теориясы
- Лямбда калькуляциясы
- Терілген және типтенбеген тілдер
- Қолтаңба теріңіз
- Қорытынды
- Деректер типі
- Алгебралық мәліметтер типі (жалпыланған)
- Түрі айнымалы
- Бірінші деңгей мәні
- Полиморфизм
- Құрылыстардың есебі
Денотатикалық семантика
Санаттар теориясы
Операциялық мәселелер
- Графиктің кішіреюі
- Қатаң бағдарламалау тілі
- Жалқау бағалау, асыға бағалау
- Спекулятивті бағалау
- Жанама әсері
- Тапсырма
- Жабу
- Жалғасы
- Жалғастыру стилі
- Операциялық семантика
- Мемлекеттік өтпелі жүйе
- Модельдеуге алдын-ала тапсырыс беру
- Бисимуляция
- Функционалды бағдарламалаудағы монадалар
- Ерекше жағдайларды өңдеу
- Қоқыстарды жинау