What is the translation of " FUNCTIONAL PROGRAMMING LANGUAGE " in Russian?

• функциональный язык программирования

Examples of using Functional programming language in English and their translations into Russian

FP, a functional programming language.
Лисп- функциональный язык программирования.

The unit type is implemented in most functional programming languages.
Типы- произведения встроены в большинство функциональных языков программирования.

Some functional programming languages enforce referential transparency for all functions.
Некоторые языки функционального программирования обеспечивают ссылочную прозрачность для всех функций.

Common Lisp is a high-level, object-oriented functional programming language.
Общий Лисп- объектно-ориентированный функциональный язык программирования высокого уровня.

It can also be extensions of functional programming languages(essentially Lisp and Scheme) such as IBAL or CHURCH.
Оно также может быть расширением функциональных языков программирования( по сути LISP и Scheme), такими как IBAL или Church.

Haskell was designed as a practical, purely functional programming language.
Haskell разрабатывался, как чистый функциональный язык программирования, применимый на практике.

Functional programming languages have largely been emphasized in academia rather than in commercial software development.
Как правило, интерес к функциональным языкам программирования, особенно чисто функциональным, был скорее научный, нежели коммерческий.

JoCaml is an experimental functional programming language derived from OCaml.
JoCaml- экспериментальный функциональный язык программирования, произошедший от OCaml.

Information Processing Language(IPL), 1956, is sometimes cited as the first computer-based functional programming language.
Язык обработки информации( Information Processing Language( англ.) русск., IPL) иногда определяется как самый первый машинный функциональный язык.

Unlambda is a minimal,"nearly pure" functional programming language invented by David Madore.
Unlambda- минимальный функциональный язык программирования, придуманный Дэвидом Мэдором David Madore.

In 1978, ML built a polymorphic type system on top of Lisp, pioneering statically typed functional programming languages.
В 1973 году в языке ML была реализована расширенная система полиморфной типизации, положившая начало типизированным языкам функционального программирования.

Uniqueness types are implemented in the functional programming languages Clean, Mercury and Idris.
Типы, гарантирующие уникальность, реализованы в языках функционального программирования Clean, Mercury и Idris.

This functional programming language was intended to make concurrent processing more natural and was used to introduce programming concepts to beginners.
Этот функциональный язык программирования был предназначен для параллельной обработки и использовался для обучения новичков программированию..

Unification is used during type inference, for instance in the functional programming language Haskell.
Общекатегорийные понятия также активно используются в языке функционального программирования Haskell.

Dependent ML is an experimental functional programming language proposed by Hongwei Xi(Xi 2007) and Frank Pfenning.
Dependent ML( зависимый метаязык)- экспериментальный функциональный язык программирования, разработанный Фрэнком Пфеннингом и Хонвеем Хи.

Python 2.0 introduced list comprehensions, a feature borrowed from the functional programming languages SETL and Haskell.
В версии Python 2. появилось списковое включение- функция, заимствованная из функциональных языков программирования SETL и Haskell.

Additionally, many functional programming languages provide more general algebraic data types, which extend both product and sum types.
В дополнение к этому большинство функциональных языков предоставляет алгебраические типы данных, расширяющие понятия как типа- произведения, так и типа- суммы.

He is an internationally recognized expert on functional programming languages and compilers.
Он является международно признанным экспертом по языкам и компиляторам функционального программирования.

Like most modern functional programming languages, Idris supports a notion of inductively-defined data type and parametric polymorphism.
Как и большинство современных функциональных языков программирования, язык поддерживает рекурсивные( определяемые по индукции) типы данных и параметрический полиморфизм.

Microsoft Corporation intends to introduce a new functional programming language F, which will be….
Корпорация Microsoft намерена представить новый функциональный язык программирования F, который будет встроен уже в ближайшую….

For both functional programming languages and object-oriented programming languages, the term CFA, and elaborations such as k-CFA, refer to specific algorithms that compute control flow.
И для языков функционального программирования, и для объектно-ориентированных языков программирования термин« Анализ потока управления» означает алгоритм, который формирует граф потока управления.

For the purpose of illustrating how it translates to the functional programming language of Haskell, let us put all these equations together once more.
Для целей иллюстрации, как это приводит к функциональной языка программирования Haskell, положим все эти уравнения вместе еще раз.

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

Nix packages are defined through a lazy functional programming language specifically designed for package management.
Пакеты, установленные Nix, определяются с помощью функционального программирования, который включает в себя« ленивые вычисления», специально разработанного для управления пакетами.

Simon Peyton Jones FRS MAE(born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming..
Пейтон- Джонс, Саймон( род. 1958)- британский ученый, исследующий реализацию и применение функциональных языков программирования, в частности отложенных вычислений.

Microsoft Corporation intends to introduce a new functional programming language F, which will be built in the near environment for the development version of Visual Studio.
Корпорация Microsoft намерена представить новый функциональный язык программирования F, который будет встроен уже в ближайшую версию среды для разработчиков Visual Studio.

In 2015 he was named a fellow of the Association for Computing Machinery"for contributions to safe, high-performance functional programming languages and compilers, and to compiler verification.
В 2015 был объявлен действительным членом Ассоциации вычислительной техники« за вклад в безопасные, высокоэффективные функциональные языки программирования и компиляторы, и верификацию компилятора».

Orwell is a small, lazy-evaluation functional programming language implemented principally by Martin Raskovsky and first released in 1984 by Philip Wadler during his time as a Research Fellow in the Programming Research Group, part of the Oxford University Computing Laboratory.
Orwell- это небольшой функциональный язык программирования с ленивыми вычислениями, реализованный главным образом Мартином Расковским и впервые выпущенный Филиппом Уодлером в 1984 году, когда он работал научным сотрудником в группе по программированию, входящей в состав вычислительной лаборатории Оксфордского университета.

According to the author(Hongwei Xi), ATS's efficiency is largely due to the way that data is represented in the language and tail-call optimizations which are generally important for the efficiency of functional programming languages.
Согласно автору( Хонвей Хи), эффективность ATS в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов которые в целом весьма важны для эффективности функциональных языков программирования.

He was also a co-developer, with Thomas Johnsson, of Lazy ML, a functional programming language developed in the early 1980s, prior to Miranda and Haskell.
Hope- функциональный язык программирования, разработанный в начале 1980- х годов; является предшественником языков Miranda и Haskell.