Functioneel programmeren oor Engels

Functioneel programmeren

Vertalings in die woordeboek Nederlands - Engels

functional programming

naamwoord

programming paradigm

functioneel programmeren

Vertalings in die woordeboek Nederlands - Engels

functional programming

naamwoord

A programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data.

voorbeelde

Functioneel programmeren JavaScript is sterk beïnvloed door functionele programmeertalen zoals Self en Scheme.
JavaScript was influenced by programming languages such as Self and Scheme.

In het functioneel programmeren is een catamorfisme een generalisatie van de folds op lijsten bekend uit het functioneel programmeren als willekeurige abstracte datatypes, die kunnen worden beschreven als initiële algebra's.
In functional programming, catamorphisms provide generalizations of folds of lists to arbitrary algebraic data types, which can be described as initial algebras.

De categorische logica is nu een goed-gedefinieerd gebied dat gebaseerd is op typentheorie voor intuïtionistische logica's, met toepassingen in het functioneel programmeren en de domeintheorie, waar een cartesisch gesloten categorie wordt beschouwd als een niet-syntactische beschrijving van een lambdacalculus.
Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus.

Er zullen werkgroepen zijn die zich bezighouden met semantiek , bewijstechnieken , specificatie en ontwerp , enzovoort en vijf deelprojecten voor onderzoek inzake het ontwerpen van object-georiënteerde , functionele ( zowel datagestuurde als vraaggestuurde ) en logische machines , alsook een machine waarin logisch en functioneel programmeren worden gecombineerd .
THERE WILL BE WORKING GROUPS ON SEMANTICS , PROOF TECHNIQUES , SPECIFICATION AND DESIGN , ETC , AND FIVE SUBPROJECTS INVESTIGATING THE DESIGN OF OBJECT-ORIENTED , FUNCTIONAL ( BOTH DATA DRIVEN AND DEMAND DRIVEN ) AND LOGICAL MACHINES SEPARATELY , AND A MACHINE WHICH COMBINES LOGIC AND FUNCTIONAL PROGRAMMING .

In de informatica en met name in het functioneel programmeren is een hylomorfisme een recursieve functie, die overeenkomt met de samengestelde functie van een anamorfisme (die eerst een verzameling resultaten opbouwt; ook bekend als 'unfolding') en een catamorfisme (die vervolgens deze resultaten in een finale returnwaarde vouwt).
In computer science, and in particular functional programming, a hylomorphism is a recursive function, corresponding to the composition of an anamorphism (which first builds a set of results; also known as 'unfolding') followed by a catamorphism (which then folds these results into a final return value).

Het onderzoek op het gebied van modulariteit met betrekking tot functionele en logische programmering bevindt zich in een beginstadium .
RESEARCH IN THE AREAS OF MODULARITY ASSOCIATED WITH FUNCTIONAL AND LOGIC PROGRAMMING IS IN ITS EARLY STAGES .

Veiligheid van machines — Functionele veiligheid van elektrische, elektronische en programmeerbare systemen met een veiligheidsfunctie
Safety of machinery — Functional safety of safety-related electrical, electronic and programmable electronic control systems

Veiligheid van machines - Functionele veiligheid van elektrische, elektronische en programmeerbare systemen met een veiligheidsfunctie
Safety of machinery - Functional safety of safety-related electrical, electronic and programmable electronic control systems

Veiligheid van machines — Functionele veiligheid van elektrische, elektronische en programmeerbare systemen met een veiligheidsfunctie (IEC 62061:2005)
Safety of machinery — Functional safety of safety-related electrical, electronic and programmable electronic control systems (IEC 62061:2005)