英文字典中文字典


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

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


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

































































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


  • AREA
    AREA is the world where possibility meets occasion Founded in New York in 2014, AREA develops and produces its collections in its Milan atelier Complimentary ground shipping for orders over $1000
  • All – AREA
    AREA is the world where possibility meets occasion Founded in New York in 2014, AREA develops and produces its collections in its Milan atelier Complimentary ground shipping for orders over $1000
  • Jeans – AREA
    AREA is the world where possibility meets occasion Founded in New York in 2014, AREA develops and produces its collections in its Milan atelier Complimentary ground shipping for orders over $1000
  • Dresses – AREA
    AREA is the world where possibility meets occasion Founded in New York in 2014, AREA develops and produces its collections in its Milan atelier Complimentary ground shipping for orders over $1000





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