call-by-pattern - definizione. Che cos'è call-by-pattern
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è call-by-pattern - definizione

Call by push value

Pattern (casting)         
  • The top and bottom halves of a sand casting mould showing the cavity prepared by patterns.  Cores to accommodate holes can be seen in the bottom half of the mould, which is called the ''drag''. The top half of the mould is called the ''cope''.
FORM USED IN CASTING TO REPLICATE A SHAPE
Pattern (foundry); Pattern-maker; Patternmaker (engineering)
In casting, a pattern is a replica of the object to be cast, used to prepare the cavity into which molten material will be poured during the casting process.
Pattern (sewing)         
  • Digital home sewing pattern
  • Marker-making by computer
  • Student tracing pattern onto fabric
  • Fitting a nettle/canvas-fabric on a [[dress form]]
  • Storage of patterns
  • Students cutting patterns in a sewing class
TEMPLATE FROM WHICH THE PARTS OF A GARMENT ARE TRACED ONTO FABRIC BEFORE BEING CUT OUT
Pattern making book; Pattern-making book; Patternmaking book; Sewing pattern; Dress pattern; Dress-maker's pattern; Pattern cutting; Pattern drafting; Pattern making
In sewing and fashion design, a pattern is the template from which the parts of a garment are traced onto woven or knitted fabrics before being cut out and assembled. Patterns are usually made of paper, and are sometimes made of sturdier materials like paperboard or cardboard if they need to be more robust to withstand repeated use.
call sign         
  • Department of Commerce callbook, 1919
  • WWV]], indicating its early location in the U.S. state of [[Maryland]]
UNIQUE DESIGNATION FOR A TRANSMITTING STATION
Television call sign; Call letters; Radio call sign; Call signs; Callsign (radio); Call Letters; Amateur call letters; Call letter; Australian callsigns; W (call sign); Ham prefix; Broadcast call sign; Call Sign; Callsigns; Call-sign; International call sign; International call signs; Call signal; International callsign; Call name (call letters); Callsign
Sequence of letters and numbers, unique to each ship, that identify the ship.

Wikipedia

Call-by-push-value

In programming language theory, the call-by-push-value (CBPV) paradigm, inspired by monads, allows writing semantics for lambda-calculus without writing two variants to deal with the difference between call-by-name and call-by-value. To do so, CBPV introduces a term language that distinguishes computations and values, according to the slogan a value is, a computation does; this term language has a single evaluation order. However, to evaluate a lambda-calculus term according to either the call-by-name (CBN) or call-by-value (CBV) reduction strategy, one can translate the term to CBPV using a call-by-name or call-by-value translation strategy, which give rise to different terms. Evaluating the result of the call-by-value translation corresponds to evaluating the original term with the call-by-value strategy; evaluating the result of the call-by-name translation corresponds instead to evaluating the original term with the call-by-name strategy.

This is especially useful when dealing with the semantics of different side effects, such as nontermination, mutable state or nondeterminism. Instead of giving two variants of the semantics, one for the call-by-name evaluation order and one for the call-by-value one, one can simply give a semantics for the CBPV term language; one gets two semantics for lambda-calculus by composing this CBPV semantics with the same CBV and CBN translations from lambda-calculus.