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

• συναρτησιακή γλώσσα προγραμματισμού
• γλώσσα συναρτησιακού προγραμματισμού

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

Idris, a functional programming language with dependent types.
Η Agda, μια συναρτησιακή γλώσσα προγραμματισμού με εξαρτώμενους τύπους.

Spreadsheets can also be viewed as functional programming languages.
Τα λογιστικά φύλλα μπορούν επίσης να θεωρηθούν συναρτησιακές γλώσσες προγραμματισμού.

Functional programming languages often allow the subtyping of records.
Οι συναρτησιακές γλώσσες προγραμματισμού συχνά επιτρέπουν τη λειτουργία υποτύπων σε εγγραφές.

This is analogous to the foldl function in functional programming languages.
Αυτό είναι ανάλογο με τη συνάρτηση foldl στις συναρτησιακές γλώσσες προγραμματισμού.

As a functional programming language, the primary control construct is the function.
Ως συναρτησιακή γλώσσα προγραμματισμού, χρησιμοποιεί σαν κύρια δομή ελέγχου τη συνάρτηση.

These objects behave somewhat like functions in a functional programming language.
Αυτά τα αντικείμενα συμπεριφέρονται περίπου όπως οι συναρτήσεις σε μια συναρτησιακή γλώσσα προγραμματισμού.

AMANDA is a free functional programming language almost(but not quite) identical to Miranda.
Η AMANDA είναι μια δωρεάν συναρτησιακή γλώσσα προγραμματισμού(σχεδόν) ίδια με τη Miranda.

Information Processing Language(IPL) is sometimes cited as the first computer-based functional programming language.
Η IPL αναφέρεται κάποιες φορές ως η πρώτη συναρτησιακή γλώσσα προγραμματισμού.

SASL was an early functional programming language first developed by Turner in 1972.
Η SASL ήταν μια πρώιμη γλώσσα συναρτησιακού προγραμματισμού που δημιουργήθηκε από τον Turner το 1972.

Functional-style ADT definitions are more appropriate for functional programming languages, and vice versa.
Οι συναρτησιακές δηλώσεις ΑΤΔ είναι καταλληλότερες για συναρτησιακές γλώσσες προγραμματισμού και αντίστροφα.

Many functional programming languages can be viewed as embellishments to the lambda calculus.
Πολλές συναρτησιακές γλώσσες προγραμματισμού μπορούν να θεωρηθούν επεκτάσεις του λογισμού λάμδα.

This form of non-strict evaluation is also known as lazy evaluation and used in functional programming languages.
Η μορφή αυτή της μη-αυστηρής αποτίμησης είναι γνωστή και σαν οκνηρή αποτίμηση και χρησιμοποιείται στις γλώσσες συναρτησιακού προγραμματισμού.

Many Functional Programming languages can thus be considered as elaborations on this lambda calculus.
Πολλές συναρτησιακές γλώσσες προγραμματισμού μπορούν να θεωρηθούν επεκτάσεις του λογισμού λάμδα.

The CSPM dialect of CSP possesses a formally defined operational semantics, which includes an embedded functional programming language.
Η διάλεκτος CSPM της CSP έχει τυπικά ορισμένη λειτουργική σημασιολογία, η οποία περιλαμβάνει μια ενσωματωμένη γλώσσα συναρτησιακού προγραμματισμού.

Most functional programming languages, such as ML, Haskell, and API, have garbage collection built in.
Οι περισσότερες συναρτησιακές γλώσσες προγραμματισμού, όπως η ML, η Haskell και η APL, περιλαμβάνουν συλλογή απορριμμάτων.

This led to new approaches to interactive theorem proving and has influenced the development of subsequent functional programming languages.
Αυτό οδήγησε σε ισχυρές νέες προσεγγίσεις στην διαδραστική απόδειξη θεωρημάτων και έχει επηρεάσει την ανάπτυξη πολλών μεταγενέστερων συναρτησιακών γλωσσών προγραμματισμού.

Haskell is a purely functional programming language that has non-strict semantics and strong static typing.
Η Haskell είναι μια πρότυπη αμιγώς συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης με μη-αυστηρή σημασιολογία και ισχυρούς τύπους.

It is a mathematical abstraction rather than a programming language- but it forms the basis of almost all current functional programming languages.
Αν και είναι περισσότερο μαθηματική αφαίρεση παρά γλώσσα προγραμματισμού, αποτελεί τη βάση σχεδόν όλων των συναρτησιακών γλωσσών προγραμματισμού.

Typically, functional programming languages also provide some, usually restricted, form of parametric polymorphism.
Συνήθως, οι συναρτησιακές γλώσσες προγραμματισμού παρέχουν επίσης κάποια, συνήθως περιορισμένη, μορφή παραμετρικού πολυμορφισμού.

Dependent types play a central role in intuitionistic type theory and in the design of functional programming languages like ATS, Agda and Epigram.
Οι εξαρτώμενοι τύποι παίζουν ένα κεντρικό ρόλο στην Ιντουισιονιστική θεωρία τύπων και στον σχεδιασμό των συναρτησιακών γλωσσών προγραμματισμού όπως η ATS, η Agda και η Epigram.

Functional programming languages have largely been emphasized in academia rather than in commercial software development.
Οι συναρτησιακές γλώσσες προγραμματισμού, και ειδικότερα οι αμιγώς συναρτησιακές συναντώνται περισσότερο στο ακαδημαϊκό παρά στο εμπορικό ή βιομηχανικό περιβάλλον.

The field has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages.
Έχει σημαντικές εφαρμογές στη θεωρητική πληροφορική, όπου χρησιμοποιείται για τον ορισμό της δηλωτικής σημασιολογίας, ειδικά για τις συναρτησιακές γλώσσες προγραμματισμού.

Scheme is primarily a functional programming language. It shares many characteristics with other members of the Lisp programming language family.
Η Scheme είναι κυρίως συναρτησιακή γλώσσα προγραμματισμού και μοιράζεται πολλά χαρακτηριστικά με άλλα μέλη της οικογένειας γλωσσών προγραμματισμού της Lisp.

A restriction of System F known as"Hindley- Milner", or simply"HM", does have an easy type inference algorithm and is used for many statically typed functional programming languages such as Haskell 98 and ML.
Ένας περιορισμός του Συστήματος F, γνωστός ως"Hindley- Milner", ή απλά"HM", έχει ένα εύκολο αλγόριθμο εξαγωγής τύπων και χρησιμοποιείται για πολλές strongly typed συναρτησιακές γλώσσες προγραμματισμού όπως η Haskell 98 και η ML.

MultiLisp was a functional programming language and dialect of Scheme, extended with constructs for parallel execution and shared memory.
Η MultiLisp είναι μια συναρτησιακή γλώσσα προγραμματισμού και διάλεκτος της διαλέκτου Scheme της Lisp, με κάποιες επιπλέον εντολές και εκφράσεις για παράλληλη εκτέλεση και κοινή(μοιραζόμενη) μνήμη.

Subtyping of records can be defined in System F<:, which combines parametric polymorphism with subtyping of record types and is a theoretical basis for many functional programming languages that support both features.
Η σχέση υποτύπου για εγγραφές μπορεί να οριστεί στο Σύστημα F<:, το οποίο συνδυάζει παραμετρικό πολυμορφισμό με υποτύπους για τύπους εγγραφών και είναι μια θεωρητική βάση για πολλές συναρτησιακές γλώσσες προγραμματισμού που υποστηρίζουν και τα δύο χαρακτηριστικά.

Miranda is a non-strict 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.
Η Miranda είναι μια οκνηρή, αμιγώς συναρτησιακή γλώσσα προγραμματισμού, η οποία σχεδιάστηκε από τον David Turner σαν διάδοχος της SASL και της KRC, χρησιμοποιώντας κάποιες ιδέες της ML και της Hope.

History==Following the release of Miranda by Research Software Ltd, in 1985, interest in lazy functional languages grew: by 1987, more than a dozen non-strict, purely functional programming languages existed.
Ακολουθώντας την κυκλοφορία της Miranda από τη Research Software Ltd, το 1985, αυξήθηκε το ενδιαφέρον για τις οκνηρές συναρτησιακές γλώσσες προγραμματισμού: μέχρι το 1987, υπήρχαν περισσότερες από δέκα μη-αυστηρές, αμιγώς συναρτησιακές γλώσσες προγραμματισμού.

MultiLisp was a functional programming language and dialect of Scheme, extended with constructs for parallel execution and shared memory. These extensions involve side effects, rendering MultiLisp non-deterministic.
Η MultiLisp είναι μια συναρτησιακή γλώσσα προγραμματισμού και διάλεκτος της διαλέκτου Scheme της Lisp, με κάποιες επιπλέον εντολές και εκφράσεις για παράλληλη εκτέλεση και κοινή(μοιραζόμενη) μνήμη.

PCF(for Programming language for Computable Functions) is a prototypical, typed functional programming language, where types are used to ensure that programs are well-behaved but not necessarily terminating.
Η PCF("Programming language for Computable Functions") είναι μια πρωτότυπη γλώσσα συναρτησιακού προγραμματισμού με τύπους, στην οποία οι τύποι χρησιμοποιούνται για να βεβαιωθεί ότι τα προγράμματα συμπεριφέρονται σωστά, αλλά δεν είναι απαραίτητο να τερματίζουν.