ФУНКЦИОНАЛЬНЫЙ ЯЗЫК ПРОГРАММИРОВАНИЯ на Английском - Английский перевод

• functional programming language

Примеры использования Функциональный язык программирования на Русском языке и их переводы на Английский язык

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

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

Julia- гомоиконный функциональный язык программирования для технических расчетов.
Julia is a new homoiconic functional language focused on technical computing.

Hope- функциональный язык программирования, разработанный в начале 1980- х годов; является предшественником языков Miranda и Haskell.
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.

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

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

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

Plutus- типизированный функциональный язык программирования, основанный на концепциях из Haskell, который можно использовать для написания произвольных скриптов транзакций.
Plutus is a typed functional language based on concepts from Haskell, which can be used to write custom transaction scripts.

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

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

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

Elixir- современный функциональный язык программирования, который работает на виртуальной машине Erlang. Elixir полностью совместим с Erlang, но обладает дружелюбным синтаксисом и предлагает больше возможностей.
Elixir is a modern functional language built on top of the Erlang VM. It's fully compatible with Erlang, but features a more standard syntax and many more features.

Корпорация Microsoft намерена представить новый функциональный язык программирования F, который будет встроен уже в ближайшую версию среды для разработчиков Visual Studio.
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.

SASL- полностью функциональный язык программирования, разработанный Дэвидом Тернером в Сент- Эндрюсском университете в 1972 году, на базе аппликативного подмножества ISWIM.
SASL(from St Andrews Static Language, alternatively St Andrews Standard Language) is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM.

KRC( англ. Kent Recursive Calculator)- ленивый функциональный язык программирования, разработанный Дэвидом Тернером( David Turner) в 1981 году на базе SASL с добавлением сопоставления по образцу, охраняющих выражений( guards) и ZF- выражений сейчас более известных как списковые включения.
KRC(Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981 based on SASL, with pattern matching, guards and ZF expressions now more usually called list comprehensions.

Orwell- это небольшой функциональный язык программирования с ленивыми вычислениями, реализованный главным образом Мартином Расковским и впервые выпущенный Филиппом Уодлером в 1984 году, когда он работал научным сотрудником в группе по программированию, входящей в состав вычислительной лаборатории Оксфордского университета.
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.

В то время как функциональный язык программирования может не подходить для полноценного осуществления торговой площадке, многие из его основополагающих принципов, таких как абстракции типа и строгой чистоты, может оказаться бесценным в программах мы используем в количественном финансов, где тяжелые математика и номер хруст участвуют.
While a functional programming language may not be appropriate for a full-fledged implementation of a trading platform, many of its underlying principles, such as type abstractions and strict purity, may prove invaluable in programs we use in quantitative finance where heavy mathematics and number crunching are involved.

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

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

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

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

В 2015 был объявлен действительным членом Ассоциации вычислительной техники« за вклад в безопасные, высокоэффективные функциональные языки программирования и компиляторы, и верификацию компилятора».
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.

Зависимые типы играют ключевую роль в интуиционистской теории типов и построении функциональных языков программирования таких как ATS, Agda и Epigram.
Dependent types play a central role in intuitionistic type theory and in the design of functional programming languages like Idris, ATS, Agda and Epigram.

Пейтон- Джонс, Саймон( род. 1958)- британский ученый, исследующий реализацию и применение функциональных языков программирования, в частности отложенных вычислений.
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..

Согласно автору( Хонвей Хи), эффективность ATS в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов которые в целом весьма важны для эффективности функциональных языков программирования.
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.

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

Prince XML написан на функциональном языке программирования Mercury.
Prince was developed using the Mercury functional logic programming language.

Диссертация была написана под влиянием работ Джона Бэкуса по функциональным языкам программирования.
Craig's thesis was heavily influenced by the work of John Backus on functional programming(FP) languages.

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

Он внес большой вклад в теорию объединения и развития типизированных функциональных языков программирования, в частности Caml.
He has made major contributions to the theory of unification and to the development of typed functional programming languages, in particular CAML.