翻訳と辞書 Words near each other ・ colour look-up table ・ colour model ・ colour palette ・ columbia appletalk package ・ column ・ column address strobe ・ com ・ com port ・ comal ・ combination ・ combinator ・ combinatory logic ・ comdex ・ come from ・ comis ・ comit ・ comit ii ・ comite europeen des postes et telecommunications ・ comm mode ・ comma Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク combinator ： FOLDOC 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) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.