Домашня
Випадкова
Поблизу
Увійти
Налаштування
Пожертвувати
Про Вікіпедію
Відмова від відповідальності
Знайти
Категорія
:
Функційне програмування
Мова
Спостерігати
Редагувати
Основна стаття для цієї категорії:
Функційне програмування
.
Підкатегорії
Показано 4 підкатегорії з 4.
Л
Лямбда-числення
(9 С)
П
Програмування із залежними типами
(1 К, 3 С)
Ф
Функції вищого порядку
(3 С)
Функціональні мови програмування
(3 К, 44 С)
Сторінки в категорії «Функційне програмування»
Показано 22 сторінки цієї категорії (із 22).
Деструктивне оновлення
А
Алгебричний тип даних
Анонімна функція
Д
Саймон Пейтон Джонс
З
Залежний тип
Замикання (програмування)
Зіставляння із взірцем
Змінна типу
К
Каррінг (інформатика)
Корекурсія
Л
Лінива ініціалізація
Лямбда-вирази у С++
М
Монади (програмування)
П
Побічний ефект (програмування)
Продовження (програмування)
Прозорість посилань (інформатика)
У
Узагальнений алгебричний тип даних
Ф
Формальна система
Функційне програмування
Функція вищого порядку
Ч
Чиста функція
C
Cons