英文字典中文字典Word104.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 在Google字典中的解釋Google英翻中〔查看〕
combinator查看 combinator 在Yahoo字典中的解釋Yahoo英翻中〔查看〕





安裝中文字典英文字典查詢工具!


中文字典英文字典工具:
選擇顏色:
輸入中英文單字

































































英文字典中文字典相關資料:





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

|中文姓名英譯,姓名翻譯 |简体中文英文字典