英文字典中文字典


英文字典中文字典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英翻中〔查看〕

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


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

































































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


  • 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 does the gt; (greater-than sign) CSS selector mean?
    63 > (greater-than sign) is a CSS Combinator (Combine + Selector) A CSS selector can contain more than one simple selector Between the simple selectors, we can include a combinator There are four different combinators in CSS3: descendant selector (space) child selector (>) adjacent sibling selector (+) general sibling selector (~)
  • 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
  • Tailwind CSS : Is there a way to target next sibling?
    This is the only answer which implements the Adjacent sibling combinator (+ operator) with tailwindcss and without a plugin The mentioned peer-* classes uses the General sibling combinator (~ operator)
  • css - Sass and combined child selector - Stack Overflow
    I've just discovered Sass, and I've been so excited about it In my website I implement a tree-like navigation menu, styled using the child combinator (E gt; F) Is there any way to rewrite this
  • Understanding Y Combinator through generic lambdas
    Understanding Y Combinator through generic lambdas Asked 9 years, 8 months ago Modified 9 years, 8 months ago Viewed 5k times





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