What is the translation of " FUNCTIONAL PROGRAMMING LANGUAGES " in Ukrainian?

• функціональних мовах програмування
• мов функціонального програмування
• функціональні мови програмування
• функціональних мов програмування

Examples of using Functional programming languages in English and their translations into Ukrainian

JavaScript, PHP, Java and functional programming languages;
JavaScript, PHP, Java, функціональні мови програмування.

Eugenio Moggi and Philip Wadler introduced the use of monads for structuring programs written in functional programming languages.
Євгеніо Моджі і Філіп Вадлер ввели використання монад для структурування програм, написаних на функціональних мовах програмування.

For my own pleasure, I often study functional programming languages, for example, Haskell, and formal languages, for example, to prove theorems- Coq.
Для свого задоволення часто вивчаю функціональні мови програмування, наприклад, Haskell, і формальні мови, наприклад, для доведення теорем- Coq.

Delayed evaluation is used particularly in functional programming languages.
Відкладені обчислення в основному використовуються в функціональних мовах програмування.

Anonymous functions are ubiquitous in functional programming languages and other languages with first-class functions, where they fulfil the same role for the function type as literals do for other data types.
Анонімні функції широко застосовуються у функціональних мовах програмування і інших мовах програмування з функціями першого класу, де вони виконують ту саму роль для функціонального типу, що і літерали для інших типів даних.

Functional-style ADT definitions are more appropriate for functional programming languages, and vice-versa.
Функціональний стиль визначення АТД є більш придатними для функціональних мов програмування, і навпаки.

It is a mathematical abstraction rather than a programming language- but it forms the basis of almost all current functional programming languages.
Будучи математичною абстракцією, а не мовою програмування, воно склало базис майже всіх мов функційного програмування на сьогодні.

Clinger is known for his work on higher-order and functional programming languages, and in particular for his contributions to the standardization of the Scheme programming language..
Клінґер відомий своєю роботою над мовами вищого порядку і мовами функційного програмування, і особливо за свій внесок в стандартизацію мови Scheme.

Hence combinatory logic has been used to model some non-strict functional programming languages and hardware.
Тому комбінаторна логіка була використана для моделювання деяких нетривких функціональних мов програмування та апаратного забезпечення.

For this reason, most programming languages and especially functional programming languages make an effort to prevent the above events from happening except under controlled conditions.
З цієї причини, більшість мов програмування і особливо мови функціонального програмування доклали зусиль, щоб запобігти вище описаним подіям, за винятком подій, на контрольованих умовах.

Though it is a mathematical abstraction rather than a programming language, it forms the basis of almost all functional programming languages today.
Будучи математичною абстракцією, а не мовою програмування, воно склало базис майже всіх мов функціонального програмування на сьогодні.

Two examples of implicit parallelism are with domain-specific languages where the concurrency within high-level operations is prescribed, and with functional programming languages because the absence of side-effects allows non-dependent functions to be executed in parallel.
Два приклади неявного паралелізму з предметно-орієнтованих мов, де наказано паралелізм в рамках операцій на високому рівні, а також з функціональними мовами програмування, так як відсутність побічних ефектів дозволяє не-залежні функції, які будуть виконуватися паралельно.

Though it is a mathematical abstraction rather than a programming language, it forms the basis of almost all functional programming languages today.
Хоча функція частіше розглядається як математична абстракція, а не поняття з мови програмування, вона склала базис всіх мов функціонального програмування на сьогоднішній день.

Recursion- this is most natural way to handle any dynamic structures(lists, trees, etc.), This exhibit functional programming languages, such as Lisp.
Рекурсія- це найприродніший спосіб обробки будь-яких динамічних структур(списків, дерев і т. д.), це демонструють функціональні мови програмування, такі як Lisp.

Thus traditionally GP favors the use of programming languages that naturally embody tree structures(for example, Lisp; other functional programming languages are also suitable).
Таким чином ГП найкраще реалізовувати на мовах програмування у яких є природнім використання деревоподібних структур(для прикладу LISP, чи інша функціональна мова програмування).

The lambda calculus, developed by Alonzo Church and Stephen Cole Kleene in the 1930s, is considered by some to be the world's first programming language, even though it was intended to model computation rather than being a means for programmers to describe algorithms to a computer system. Many modern functional programming languages have been described as providing a"thin veneer" over the lambda calculus,[1] and many are easily described in terms of it.
Лямбда-числення, розвинене Алонзо Черчем і Стівеном Коулом Кліні в 1930-х, на думку деяких, є першою в світі мовою програмування, навіть при тому, що воно було призначене більше для обчислювальних розрахунків, ніж засіб для програмістів, яке описує алгоритми комп'ютерної системи, Багато сучасних функціональних мов програмування легко описуються з точки зору лямбда-числення.

VDM-SL also supports the definition of executable functions in the manner of a functional programming language.
VDM-SL також підтримує опис виконуваних функцій як у функціональних мовах програмування.

A functional programming language consists of: a set of basic functions;
Функціональний мова програмування складається з: сукупності базових функцій;

Haskell is a fully functional programming language.
Гаскель є чистою функційною мовою програмування.

An indenter for the functional programming language Haskell.
Інструмент додавання відступів для функціональної мови програмування Haskell.

An exception was the influential pure lazy functional programming language Miranda, which was released in 1985.
Винятком була впливова лінива чисто функціональна мова програмування Miranda, випущена в 1985-тому.

JavaScript is a focus of the course, and is covered as a functional programming language including jQuery, Ajax, and JavaScript namespaces and modules.
JavaScript є центром курсу, і він охоплюється як функціональна мова програмування, включаючи простори і модулі jQuery, Ajax і JavaScript.

Elixir is a dynamic, functional programming language designed to develop programs that require the simultaneous execution of many processes.
Elixir- це динамічна, функціональна мова програмування, створена для розробки програм, що потребують одночасного виконання багатьох процесів.

Coq- interactive softwareproofs of theorems using its own functional programming language(Gallina) with dependent types.
Coq- інтерактивне програмне засібдокази теорем, що використовує власну мову функціонального програмування(Gallina) з залежними типами.

Xmonad is a tiling window manager for the X Window System, written in the functional programming language Haskell.
Xmonad- це мозаїчний менеджер вікон для X Window System, написанний на функціональній мові програмування Гаскель.

A practical functional programming language closely related to Common Lisp which is used to define functions(which can model computing systems) and to make assertions about defined functions;
Практичний функціональна мова програмування тісно пов'язаний з Common Lisp, яка використовується для визначення функцій(які можуть моделювати обчислювальні системи) і зробити твердження про певних функцій.