of functional programming languages - Translation into Russian - examples English

The use of functional programming languages allows them to formally prove the correctness of design transformations.

Разработанный функциональный язык программирования для аппаратного проектирования позволяет формально доказать правильность проектных преобразований.

The table shows a comparison of functional programming languages which compares various features and designs of different functional programming languages.

В таблице приводится сравнение функциональных языков программирования, которая противопостовляет конструкции различных языков функционального программирования.

The possibility of avoiding these problems has stimulated the development of functional programming languages, which do not include any provision for assignment or mutable data.

Возможность избежать этих проблем стимулировала развитие функциональных языков программирования (functional programming languages), в которых нет понятий присваивания и изменяемых данных.

Because the creation of functional metalinguistic abstractions in non-functional languages can be cumbersome while the reverse is usually trivial, and also because of the syntactic flexibility and referential safety of functional macros, metalinguistic programming is mostly idiomatic of functional programming languages.

Поскольку создание функциональной металингвистической абстракции в нефункциональных языках может быть громоздким, а также из-за синтаксической гибкости функциональных макросов, металингвистическое программирование чаще всего осуществляется на функциональной основе.

Because the creation of functional metalinguistic abstractions in non-functional languages can be cumbersome while the reverse is usually trivial, and also because of the syntactic flexibility and referential safety of functional macros, metalinguistic programming is mostly idiomatic of functional programming languages.

Поскольку создание функциональной металингвистической абстракции в нефункциональных языках может быть громоздким, а также из-за синтаксической гибкости функциональных макросов, металингвистическое программирование чаще всего осуществляется на функциональной основе[З].

Ruby has a bunch of special concepts and idioms - after all, he was partly inspired by Lisp, a family of functional programming languages.

Ruby имеет ряд достаточно сложных концепций и отличительных особенностей, ведь он был вдохновлён, в том числе, семейством функциональных языков программирования Lisp.

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

It has a lot of functional programming languages and a lot of it, for example, in Scheme.

В нем много от языков функционального программирования и много навеянного, например, языком Scheme.

Dependent types play a central role in intuitionistic type theory and in the design of functional programming languages like Idris, ATS, Agda and Epigram.

Зависимые типы играют ключевую роль в интуиционистской теории типов и построении функциональных языков программирования таких как ATS, Agda и...

Dependent types play a central role in intuitionistic type theory and in the design of functional programming languages like Idris, ATS, Agda and Epigram.

Зависимые типы играют ключевую роль в интуиционистской теории типов и построении функциональных языков программирования таких как ATS, Agda и Epigram.

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

It can also be extensions of functional programming languages (essentially Lisp and Scheme) such as IBAL or CHURCH.

Оно также может быть расширением функциональных языков программирования (по сути LISP и Scheme), такими как IBAL или Church.

Here are some good technical overviews from Microsoft and the Quora Community about the benefits of functional programming languages.

Вот несколько хороших технических обзоров Microsoft и Quora Community о преимуществах функциональных языков программирования.

Translation of "of functional programming languages" in Russian