COMBINATOR

Англо-русский перевод COMBINATOR

комбинатор (лямбда-выражение, не содержащее свободных переменных)

Combinator

Big English-Russian dictionary . Большой Англо-Русский словарь. 2012

COMBINATOR — < theory > A function with no free variables . A term is either a constant, a variable or of …
FOLDOC Computer English Dictionary
COMBINATOR — комбинатор (лямбда-выражение, не содержащее свободных переменных )
Англо-Русский словарь по компьютерам
COMBINATOR — комбинатор (лямбда-выражение, не содержащее свободных переменных)
Англо-Русский словарь по вычислительной технике и программированию
COMBINATOR — комбинатор ( лямбда-выражение, не содержащее свободных переменных )
Англо-Русский словарь компьютерных терминов
COMBINATOR — комбинатор (лямбда-выражение, не содержащее свободных переменных) Combinator
Новый большой Англо-Русский словарь
FIXED POINT COMBINATOR — < mathematics > (Y) The name used in combinatory logic for the fixed point function, also written as " fix …
FOLDOC Computer English Dictionary
ROW COMBINATOR — мат. комбинатор для строк
Большой Англо-Русский словарь
PROPER COMBINATOR — мат. собственный комбинатор
Большой Англо-Русский словарь
NUMERICAL COMBINATOR — мат. числовой комбинатор
Большой Англо-Русский словарь
COLUMN COMBINATOR — мат. комбинатор для столбцов
Большой Англо-Русский словарь
ROW COMBINATOR — матем. комбинатор для строк
Англо-Русский научно-технический словарь
PROPER COMBINATOR — матем. собственный комбинатор
Англо-Русский научно-технический словарь
NUMERICAL COMBINATOR — матем. числовой комбинатор
Англо-Русский научно-технический словарь
COLUMN COMBINATOR — матем. комбинатор для столбцов
Англо-Русский научно-технический словарь
COMBINATORICS — ˌkämbə̇nəˈtōriks, -ȯr- also kəmˌbīn- noun plural but singular in construction Etymology: combinator ial mathemat ics : combinatorial mathematics
Webster's New International English Dictionary
THEORY — open/closed principle Algebra of Communicating Processes combinator semantics domain theory Isabelle projection canonicity Array Theory category linear type complete partial …
FOLDOC Computer English Dictionary
QUINE — < programming > /kwi:n/ (After the logician Willard V. Quine, via Douglas Hofstadter) A program that generates a copy of …
FOLDOC Computer English Dictionary
MATHEMATICS — infinity inner product algebra logic prime number theorem Rayleigh distribution set theory Mandelbrot set fractal logarithmus dualis characteristic function sine …
FOLDOC Computer English Dictionary
FIXED POINT — < mathematics > The fixed point of a function, f is any value, x for which f x = x. …
FOLDOC Computer English Dictionary
FIX — 1. < mathematics > The fixed point combinator . Called Y in combinatory logic . Fix is a higher-order function …
FOLDOC Computer English Dictionary
COMBINATORY LOGIC — A system for reducing the operational notation of logic , mathematics or a functional language to a sequence of modifications …
FOLDOC Computer English Dictionary
BRACKET ABSTRACTION — < compiler > An algorithm which turns a term into a function of some variable. The result of using bracket …
FOLDOC Computer English Dictionary
Y — 1. General purpose language syntactically like RATFOR , semantically like C . Lacks structures and pointers. Used as a source …
FOLDOC Computer English Dictionary
SASL+LV — Unifies logic and functional programming. A more complete version of FGL+LV, in SASL syntax. "Combinator Evaluations of Functional Programs with …
FOLDOC Computer English Dictionary
S-K REDUCTION MACHINE — An abstract machine defined by Professor David Turner to evaluate combinator expressions represented as binary graph s. Named after the …
FOLDOC Computer English Dictionary
MU — < character > (Greek letter). 1. /micro/ prefix denoting division by 10^6, e.g. mu m (micrometre, a millionth part of …
FOLDOC Computer English Dictionary
MIRANDA — < language > (From the Latin for "admirable", also the heroine of Shakespeare's Tempest) A lazy purely functional programming language …
FOLDOC Computer English Dictionary
FP — 1. functional programming . 2. floating-point . 3. Functional Programming. A combinator -based functional language by John Backus stressing the …
FOLDOC Computer English Dictionary
PROPER — 1) должный 2) истинный 3) корректный 4) надлежащий 5) подходящий 6) правильный 7) присущий 8) свойственный 9) собственно 10) собственный 11) соответствующий 12) уместный 13) чистый • almost proper mapping — почти собственное отображение almost …
Англо-Русский научно-технический словарь
NUMERICAL — 1) бальный 2) количественный 3) нумерационный 4) нумерический 5) нумерной 6) цифровой 7) численный 8) числовая информация 9) числовой • basis of numerical sequence — базис числовой последовательности best numerical differentiation …
Англо-Русский научно-технический словарь
КОМБИНАТОР — ( лямбда-выражение, не содержащее свободных переменных ) combinator
Russian-English Edic

Большой Англо-Русский словарь

← COMBINATIVE COMBINATORIAL→