Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
Установити
Більш швидкий доступ, ніж браузер!
 

Комбінаторне програмування

Індекс Комбінаторне програмування

Комбінаторне програмування (function-level programming) — парадигма програмування, що використовує принципи, тобто не вимагає явного згадування аргументів визначаємої функції (програми) та використовує замість змінних комбінатори та композіції.

20 відносини: APL, Forth, Haskell, J (мова програмування), K (мова програмування), ML, PostScript, Командна оболонка Unix, Композиція функцій, Конвеєр (Unix), Конкатенативна мова програмування, Підпрограма, Премія Тюрінга, Функційне програмування, Шаблони проектування програмного забезпечення, Змінна (програмування), Видавництво Світ, Джон Бекус, Імперативне програмування, Лямбда-числення.

APL

APL (вимовляють «ей-пі-ель», названа за книгою A Programming Language) — мова програмування та інтегроване середовище розробки, що доступні від низки розробників і для більшості комп'терних платформ.

Новинка!!: Комбінаторне програмування і APL · Побачити більше »

Forth

Forth (Форт) — мова програмування та середовище для програмування, розроблена Чарльзом Муром (також відомим як Чак Мур) на початку 1970-х у Національній радіообсерваторії США.

Новинка!!: Комбінаторне програмування і Forth · Побачити більше »

Haskell

Haskell (Гаскель, Гаскелл) — стандартизована, винятково функційна мова програмування з нестрогою семантикою.

Новинка!!: Комбінаторне програмування і Haskell · Побачити більше »

J (мова програмування)

J — функціональна мова програмування.

Новинка!!: Комбінаторне програмування і J (мова програмування) · Побачити більше »

K (мова програмування)

K — мова обробки масивів розроблена Артуром Уітні та комерціалізована Kx Systems.

Новинка!!: Комбінаторне програмування і K (мова програмування) · Побачити більше »

ML

ML (Meta Language) — сімейство строго типізованих мов функціонального програмування з розвиненою поліморфною системою типів і модулями що параметризуються. Подібна система типів була раніше запропонована Роджером Гіндлі у 1969 році і зараз часто називається системою Гіндлі-Мілнера. Мови даного сімейства не є чистими функціональними мовами, тому що включають і імперативні інструкції. ML викладається у багатьох західних університетах (в деяких навіть як перша мова програмування).

Новинка!!: Комбінаторне програмування і ML · Побачити більше »

PostScript

PostScript — мова програмування та мова розмітки сторінок, в основному використовується у видавничих системах.

Новинка!!: Комбінаторне програмування і PostScript · Побачити більше »

Командна оболонка Unix

Знімок екрану '''bash''' Командна оболонка в UNIX є інтерфейсом командного рядка в Unix-подібних операційних системах, тобто виконує команди, які подає користувач, або які читаються з файлів.

Новинка!!: Комбінаторне програмування і Командна оболонка Unix · Побачити більше »

Композиція функцій

Композиція функцій g o f Компози́ція (суперпозиція) фу́нкцій (відображень) в математиці — функція, побудована з двох функцій таким чином, що результат першої функції є аргументом другої.

Новинка!!: Комбінаторне програмування і Композиція функцій · Побачити більше »

Конвеєр (Unix)

Конвеєр — механізм міжпроцесної взаємодії, що забезпечує конвеєрну обробку даних таким чином, коли результати обробки, отримані в одному процесі, передаються в інший і т.д.

Новинка!!: Комбінаторне програмування і Конвеєр (Unix) · Побачити більше »

Конкатенативна мова програмування

Конкатенативні або стекові мови програмування — це мови, в яких конкатенація двох фрагментів коду описує їх композицію.

Новинка!!: Комбінаторне програмування і Конкатенативна мова програмування · Побачити більше »

Підпрограма

Підпрограма (subroutine) — частина програми, яка реалізує певний алгоритм і дозволяє звернення до неї з різних частин загальної (головної) програми.

Новинка!!: Комбінаторне програмування і Підпрограма · Побачити більше »

Премія Тюрінга

Премія Тюрінга (Turing Award) — найпрестижніша премія в галузі інформатики, щорічно присуджується Асоціацією обчислювальної техніки за видатні досягнення у цій галузі.

Новинка!!: Комбінаторне програмування і Премія Тюрінга · Побачити більше »

Функційне програмування

Функційне програмування — парадигма програмування, яка розглядає програму як обчислення математичних функцій та уникає станів та змінних даних.

Новинка!!: Комбінаторне програмування і Функційне програмування · Побачити більше »

Шаблони проектування програмного забезпечення

Шаблони проектування програмного забезпечення (software design patterns) — ефектні способи вирішення задач проектування програмного забезпечення.

Новинка!!: Комбінаторне програмування і Шаблони проектування програмного забезпечення · Побачити більше »

Змінна (програмування)

Змі́нна (variable) — об'єкт програми, що має ім'я та значення.

Новинка!!: Комбінаторне програмування і Змінна (програмування) · Побачити більше »

Видавництво Світ

«Світ» — видання та розповсюдження навчальної і методичної літератури для вищої та середньої школи, а також монографій, словників, довідників, творів художньої літератури, літературознавчих та суспільно-політичний праць, видань на замовлення.

Новинка!!: Комбінаторне програмування і Видавництво Світ · Побачити більше »

Джон Бекус

Джон Во́рнер Бе́кус (John Warner Backus, *3 грудня 1924 — †17 березня 2007) — американський вчений в галузі інформатики (комп'ютерних наук).

Новинка!!: Комбінаторне програмування і Джон Бекус · Побачити більше »

Імперативне програмування

Імперати́вне програмува́ння — парадигма програмування, згідно з якою описується процес отримання результатів як послідовність інструкцій зміни стану програми.

Новинка!!: Комбінаторне програмування і Імперативне програмування · Побачити більше »

Лямбда-числення

Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.

Новинка!!: Комбінаторне програмування і Лямбда-числення · Побачити більше »

ВихідніВхідний
Гей! Ми на Facebook зараз! »