Exemplos de uso de Functional programming language em Inglês e suas traduções para o Português
{-}
-
Colloquial
-
Official
-
Medicine
-
Financial
-
Ecclesiastic
-
Ecclesiastic
-
Computer
-
Official/political
This is analogous to the foldl function in functional programming languages.
Faust-- Functional programming language for realtime audio applications.
This was one of the first works in the area of quantum functional programming languages.
Epsilon A purely functional programming language. epsilonhome.
The latter are important examples which usually also exist in"purely" functional programming languages.
Clean is a functional programming language based on graph rewriting.
Hence combinatory logic has been used to model some non-strict functional programming languages and hardware.
Functional programming languages, such as Haskell, can make it easier and cheaper.
Language==Standard ML is a functional programming language with some impure features.
Patterns that imply object-orientation or, more generally, mutable state,are not as applicable in functional programming languages.
At its heart, a functional programming language is one that deals with code in the same way as data.
Python 2.0 introduced list comprehensions,a feature borrowed from the functional programming languages SETL and Haskell.
Like all functional programming languages, a key feature of Standard ML is the function, which is used for abstraction.
This focus on the high-level"what" rather than the low-level"how" is a distinguishing characteristic of functional programming languages.
Pattern matching, widely used feature in functional programming languages, is introduced as an experimental feature.
Functional programming languages have largely been emphasized in academia rather than in commercial software development.
Standard ML(SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
In popular tools for coloured Petri nets such as CPN Tools, the values of tokens are typed, and can be tested(using"guard" expressions)and manipulated with a functional programming language.
XQuery is a query and functional programming language that queries and transforms collections of structured and unstructured data, usually in the form of….
These functions may be defined in lambda calculus, or implemented in most functional programming languages see converting lambda expressions to functions.
ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM.
It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer science as a theoretical model of computation andalso as a basis for the design of functional programming languages.
Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
Such a translation is the logical counterpart to the call-by-name continuation-passing style translation of functional programming languages along the lines of the Curry-Howard correspondence between proofs and programs.
At the conference on Functional Programming Languages and Computer Architecture(FPCA'87) in Portland, Oregon, there was a strong consensus that a committee be formed to define an open standard for such languages.
Substantially increased programmer productivity Ericsson measured an improvement factor of between 9 and25 using Erlang, a functional programming language similar to Haskell, in one set of experiments on telephony software.
At the conference on Functional Programming Languages and Computer Architecture(FPCA'87) in Portland, Oregon, a meeting was held during which participants formed a strong consensus that a committee should be formed to define an open standard for such languages.
Dinamica's runtime addresses this challenge througha suite of optimizations, which borrows ideas from functional programming languages, and leverages specific behavior expected in geo-scientific programs.
The correspondence has been the starting point of a large spectrum of new research after its discovery,leading in particular to a new class of formal systems designed to act both as a proof system and as a typed functional programming language.