英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

combinator    
A function with no {free variables}. A term is
either a constant, a variable or of the form A B denoting the
{application} of term A (a function of one argument) to term
B. {Juxtaposition} associates to the left in the absence of
parentheses. All combinators can be defined from two basic
combinators - S and K. These two and a third, I, are defined
thus:

S f g x = f x (g x)
K x y = x
I x = x = S K K x

There is a simple translation between {combinatory logic} and
{lambda-calculus}. The size of equivalent expressions in the
two languages are of the same order.

Other combinators were added by {David Turner} in 1979 when he
used combinators to implement {SASL}:

B f g x = f (g x)
C f g x = f x g
S' c f g x = c (f x) (g x)
B* c f g x = c (f (g x))
C' c f g x = c (f x) g

See {fixed point combinator}, {curried function},
{supercombinators}.

(2002-11-03)


请选择你想看的字典辞典：
单词字典翻译
combinator查看　combinator　在百度字典中的解释百度英翻中〔查看〕
combinator查看　combinator　在Google字典中的解释Google英翻中〔查看〕
combinator查看　combinator　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • passwords - Hashcat Combinator 3 word attack - Stack Overflow
    Hashcat Combinator 3 word attack Asked 2 years, 10 months ago Modified 2 years, 10 months ago Viewed 3k times
  • Y Combinator in Haskell - Stack Overflow
    The Y combinator can't be typed using Hindley-Milner types, the polymorphic lambda calculus on which Haskell's type system is based You can prove this by appeal to the rules of the type system I don't know if it's possible to type the Y combinator by giving it a higher-rank type It would surprise me, but I don't have a proof that it's not
  • What is a combinator in Scala or functional programming
    A Combinator is actually a much more general concept A Combinator is, quite literally, a thing that combines other things (Just like a Terminator is a thing that terminates other things ) The idea of a Combinator is that the things it combines and the combined thing have the same type, so that you can invoke the Combinator again on the result of the Combinator One of the popular areas where
  • css - Is there a previous sibling selector? - Stack Overflow
    No, there is no "previous sibling" selector On a related note, ~ is for general successor sibling (meaning the element comes after this one, but not necessarily immediately after) and is a CSS3 selector + is for next sibling and is CSS2 1 See Adjacent sibling combinator from Selectors Level 3 and 5 7 Adjacent sibling selectors from Cascading Style Sheets Level 2 Revision 1 (CSS 2 1
  • Is there a way to use the subsequent-sibling combinator so that it . . .
    The subsequent-sibling combinator is made of the "tilde" (U+007E, ~) character that separates two sequences of simple selectors The elements represented by the two sequences share the same parent in the document tree and the element represented by the first sequence precedes () the element represented by the second one
  • css - vue compiler-sfc ::v-deep usage as a combinator has been . . .
    I'm using Nuxt 2 and I keep seeing MANY [@vue compiler-sfc] ::v-deep usage as a combinator has been deprecated Use :deep(<inner-selector>) instead errors while running npm run dev





中文字典-英文字典  2005-2009