Vertaling van "functional programming language" in Frans
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
langage de programmation fonctionnel
langage fonctionnel
langage de programmation fonctionnelle
In addition, ki is a functional programming language.
During my idle time, I develop software, mainly in OCaml, a functional programming language with a wonderful standard library and a compiler (bytecode and native) which can rival with gcc.
À mes heures perdues, je développe quelques bricoles, principalement en OCaml, un langage fonctionnel disposant d'une excellente bibliothèque standard et d'un compilateur (bytecode et natif) qui peut rivaliser avec gcc.
The Coq system provides a functional programming language and a reasoning framework based on higher-order logic to perform proofs on programmes.
Le système Coq fournit un langage de programmation fonctionnelle et un cadre de raisonnement basé sur la logique d'ordre supérieur pour effectuer des preuves sur les programmes.
Despite it being a fully-featured functional programming language, it was designed to be educational.
Coq is a functional programming language with an expressive type system that allows to specify and prove properties of programs in a higher-order predicate logic.
Coq est un langage de programmation fonctionnel dont un expressif système de type qui permet de préciser et de démontrer des propriétés des programmes dans une logique d'ordre supérieur.
Caml is a functional programming language: there is no restriction on the definition and use of functions.
Caml est un langage de programmation fonctionnel : il n'y a pas de restriction à la définition et à l'usage des fonctions.
Caml is a functional programming language: there is no restrictions in the definition and usage of functions, that can be passed as arguments or returned as values.
Caml est un langage de programmation fonctionnel: il n'y a pas de restriction à la définition et à l'usage des fonctions, qu'on peut librement passer en argument ou retourner en résultat dans les programmes.
The second contribution of this thesis is the design of a new functional programming language: MLTS.
La seconde contribution de cette thèse et le design d'un nouveau langage de programmation fonctionnel: MLTS.
Description: This paper introduced LISP, the first functional programming language, which was used heavily in many areas of computer science, especially in AI.
Description: Ce document introduit LISP, le premier langage de programmation fonctionnel, qui a été largement utilisé dans de nombreux domaines de l'informatique, en particulier dans l'IA.
unlambda - Tiny functional programming language using combinators.
unlambda - Petit langage de programmation fonctionnel utilisant des combinateurs.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.