Reference for DEFUNCTIONALIZATION. Search for DEFUNCTIONALIZATION

AI searches containing DEFUNCTIONALIZATION

DEFUNCTIONALIZATION

Defunctionalization

Compile-time transformation

In programming languages, defunctionalization is a compile-time transformation which eliminates higher-order functions, replacing them by a single first-order

Defunctionalization

Higher-order function

Function that takes one or more functions as an input or that outputs a function

(3 + 7). Defunctionalization can be used to implement higher-order functions in languages that lack first-class functions: // Defunctionalized function

Higher-order function

Higher-order_function

Capsaicin

Pungent chemical compound in chili peppers

burning and painful sensations associated with capsaicin result from "defunctionalization" of nociceptor nerve fibers by causing a topical hypersensitivity

Capsaicin

First-class function

Programming language feature

definitions do not actually nest the scope. Explicit currying with [1]. Defunctionalization eval First-class message Kappa calculus – a formalism which excludes

First-class function

First-class_function

Abietane

Chemical compound

heated and pressurized in sediments. The first of these patterns is defunctionalization. In particular, the reducing conditions of diagenesis are believed

Abietane

Currying

Transforming a function in such a way that it only takes a single argument

the dual transformation to currying, and can be seen as a form of defunctionalization. It takes a function f {\displaystyle f} whose return value is another

Currying

John C. Reynolds

American computer scientist (1935–2013)

clarified early work on continuations and introduced the technique of defunctionalization. He applied category theory to programming language semantics. He

John C. Reynolds

John_C._Reynolds

Closure (computer programming)

Technique for creating lexically scoped first class functions

objects; the transformation from the former to the latter is known as defunctionalization or lambda lifting; see also closure conversion.[citation needed]

Closure (computer programming)

Closure_(computer_programming)

Barton reaction

Topics referred to by the same term

a remote oxime from an alcohol the Barton–McCombie deoxygenation, defunctionalizing an alcohol the related Barton decarboxylation, converting a carboxylic

Barton reaction

Barton_reaction

Carbonyl reduction

Organic reduction of any carbonyl group by a reducing agent

hydrogenolysis. This result is often undesirable because it involves defunctionalization. Some reactions for this transformation include the Clemmensen reduction

Carbonyl reduction

Carbonyl_reduction

Mutual recursion

Two functions defined from each other

self as appropriate. This can be seen as a limited application of defunctionalization. This translation may be useful when any of the mutually recursive

Mutual recursion

Mutual_recursion

Shuttle catalysis

mediated by a transition metal catalyst, which serves to functionalize or defunctionalize a compound of interest. An advantage to this process is that it excludes

Shuttle catalysis

Shuttle_catalysis

List of computer scientists

pattern John C. Reynolds – continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken language, intersection types, polymorphic lambda

List of computer scientists

List_of_computer_scientists

P-Toluenesulfonyl hydrazide

Chemical compound

through 1,3-dipolar cycloaddition reactions. Ketone hydrazones are defunctionalized using mild reagents in a modified Wolff-Kishner reaction. A notable

P-Toluenesulfonyl hydrazide

P-Toluenesulfonyl_hydrazide

CEK Machine

Theoretical computer model

converse derivation (closure conversion, CPS transformation, and defunctionalization) is documented in John Reynolds's article "Definitional Interpreters

CEK Machine

CEK_Machine

List of programmers

simulation John C. Reynolds – continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken language, intersection types, polymorphic lambda

List of programmers

List_of_programmers

Lobeline

Chemical compound

G, Dwoskin LP, Deaciuc AG, Norrholm SD, Crooks PA (August 2005). "Defunctionalized lobeline analogues: structure-activity of novel ligands for the vesicular

Lobeline

List of programming language researchers

calculus (System F), clarified early work on continuations, introduced defunctionalization, worked on a separation logic, ACM SIGPLAN 2003 PL Achievement Award

List of programming language researchers

List_of_programming_language_researchers

Multitier programming

Programming paradigm

passing style: Using continuation passing style transformation and defunctionalization, remote calls are implemented by passing the name of a function for

Multitier programming

Multitier_programming

Meta-circular evaluator

Type of interpreter in computing

continuation-passing evaluator first order by (1) closure-converting it and (2) defunctionalizing the continuation. He pointed out the "machine-like quality" of the

Meta-circular evaluator

Meta-circular_evaluator

Refocusing (semantics)

Program transformation in computer science

continuations and defunctionalization, but whose representation—as illustrated here—can be obtained by CPS-transforming and defunctionalizing the representation

Refocusing (semantics)

Refocusing_(semantics)

Jejunoileal bypass

Surgical weight-loss procedure

end-to-side technique was used, reflux of bowel content back up the defunctionalized small intestine allowed absorption of some of the refluxed material

Jejunoileal bypass

Jejunoileal_bypass