In combinatory logic for computer science, a fixed-point combinator (or fixpoint combinator),: p.26 is a higher-order function (i.e. a function which...
32 KB (4,392 words) - 21:51, 2 September 2024
first-order logic Lawvere's fixed-point theorem Discrete fixed-point theorems Earle-Hamilton fixed-point theorem Fixed-point combinator, which shows that every...
11 KB (1,278 words) - 00:51, 3 February 2024
computer science, a fixed-point combinator is a higher-order function f i x {\displaystyle {\mathsf {fix}}} that returns a fixed point of its argument function...
13 KB (1,679 words) - 15:49, 31 August 2024
attractor and, with probability 1, form a dense set in the latter. Fixed-point combinator Cobweb plot Markov chain Infinite compositions of analytic functions...
15 KB (2,172 words) - 11:43, 5 September 2024
Y combinator may refer to: Y Combinator, an American tech startup accelerator Y combinator (mathematics), a fixed-point combinator This disambiguation...
170 bytes (51 words) - 04:44, 19 November 2023
fixed point (lfp or LFP, sometimes also smallest fixed point) of a function from a partially ordered set ("poset" for short) to itself is the fixed point...
10 KB (1,461 words) - 15:59, 14 July 2024
Combinatory logic (redirect from Combinator)
interesting combinator is the fixed point combinator or Y combinator, which can be used to implement recursion. S and K can be composed to produce combinators that...
41 KB (5,243 words) - 13:58, 25 August 2024
Let expression (section Fixed-point combinator)
rec is an extension of the simple let expression which uses the fixed-point combinator to implement recursion. Dana Scott's LCF language was a stage in...
41 KB (5,006 words) - 18:17, 2 December 2023
The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it...
18 KB (2,373 words) - 08:13, 18 July 2024
Kleene's recursion theorem (redirect from Rogers's fixed-point theorem)
semantics, where another least fixed point theorem is used for the same purpose as the first recursion theorem. Fixed-point combinators, which are used in lambda...
21 KB (3,089 words) - 09:50, 18 July 2024
{Y}}N)} , where Y {\displaystyle {\textsf {Y}}} denotes Curry's fixed-point combinator. Then X = ( N X ) = ( ( m X ) Z ) {\displaystyle X=(NX)=((mX)Z)}...
16 KB (2,428 words) - 14:13, 27 June 2024
awakening – Vivid and convincing dream about awakening from sleep Fixed point combinator – Higher-order function Y for which Y f = f (Y f)Pages displaying...
30 KB (3,645 words) - 18:21, 7 May 2024
Lambda calculus (section Recursion and fixed points)
with first argument representing recursive call (e.g. G here), the fixed-point combinator FIX will return a self-replicating lambda expression representing...
86 KB (11,552 words) - 04:59, 28 August 2024
or "getting your fix", taking addictive drugs (from the 1960s) Fixed point combinator, in mathematics All pages with titles beginning with Fix All pages...
2 KB (221 words) - 19:28, 4 August 2023
expressible in first-order logic with the addition of a suitable least fixed-point combinator. Recursive functions can be defined with this and the order relation...
63 KB (7,780 words) - 18:16, 2 September 2024
abstraction Church–Rosser theorem Extensionality Church numeral Fixed point combinator SKI combinator calculus B, C, K, W system SECD machine Graph reduction...
4 KB (205 words) - 12:10, 30 October 2023
Hilbert–Schmidt theorem Spectral theory of ordinary differential equations Fixed point combinator Fourier transform eigenfunctions Davydov 1976, p. 20. Kusse & Westwig...
17 KB (2,346 words) - 17:02, 10 October 2022
\lambda } -calculus, but also important differences exist (e.g. fixed point combinator Y has normal form in combinatory logic but not in λ {\displaystyle...
18 KB (2,168 words) - 17:28, 25 July 2024
factorial n = foldl (*) 1 [1..n] -- Point-free style factorial = foldr (*) 1 . enumFromTo 1 Using Haskell's Fixed-point combinator allows this function to be written...
49 KB (4,557 words) - 18:30, 3 September 2024
arbitrary collection of base types, product types (tuples) and a fixed point combinator: data Lam :: * -> * where Lift :: a -> Lam a -- ^ lifted value Pair...
14 KB (1,325 words) - 09:13, 18 August 2024
program, and then solving for a fixed point. Computer programming portal Diagonal lemma Droste effect Fixed point combinator Self-modifying code Self-interpreter...
25 KB (2,505 words) - 11:33, 20 June 2024
function. This anonymous recursion can be produced generically via fixed-point combinators. Anonymous recursion is primarily of use in allowing recursion...
12 KB (1,513 words) - 14:54, 15 December 2022
convenience. (This expression above is simply `Yk, where Y denotes a fixed point combinator.) More built-ins were introduced in Unlambda version 2. Input is...
8 KB (957 words) - 02:59, 11 August 2024
American computer scientists are prominent in Episode 11 of the series. At one point in the anime, Lain is seen with code displayed on her handheld device that...
3 KB (284 words) - 16:02, 8 August 2024
apparatus capable of defining functions anonymously and for the fixed-point combinator, which works around that restriction.) Then, with these two λ {\displaystyle...
18 KB (2,531 words) - 11:58, 10 August 2024
(of a term of type σ → τ to a term of type σ) λ-abstraction The Y fixed point combinator (making terms of type σ out of terms of type σ → σ) The successor...
9 KB (882 words) - 08:00, 30 January 2023
\lambda } -calculus, but also important differences exist (e.g. fixed point combinator Y has normal form in combinatory logic but not in λ {\displaystyle...
21 KB (3,293 words) - 19:16, 22 May 2024
as g = foldr f v Also, in a lazy language with infinite lists, a fixed point combinator can be implemented via fold, proving that iterations can be reduced...
38 KB (2,779 words) - 22:22, 8 June 2024
statement when preceded by its quotation Actor model Diagonal lemma Fixed point Fixed point combinator Gödel, Escher, Bach Indirection Self-interpreter...
3 KB (442 words) - 15:31, 26 July 2024
where he also answers The Grand Question. SKI combinator calculus B, C, K, W system Fixed-point combinator Lambda calculus Logic puzzle Brain teaser Paradox...
4 KB (383 words) - 16:09, 14 July 2024