Combinator vs Combiner - What's the difference?
combinator | combiner |
(computer science) A lambda expression which has no free variables in it.
* {{quote-web
, date = 1991-12-20
, author = Henk P. Barendregt
, title = Lambda Calculi With Types
, site = ftp.cs.ru.nl
, url = ftp://ftp.cs.ru.nl/pub/CompMath.Found/HBK.ps
, accessdate = 2012-07-15
}}
As nouns the difference between combinator and combiner
is that combinator is (computer science) a lambda expression which has no free variables in it while combiner is a person who, or a thing that combines.combinator
English
(wikipedia combinator)Noun
(en noun)- M'' is a ''closed λ-term'' (or ''combinator'') if ''FV''(''M ) = ?. The set of closed λ-terms is denoted by Λ0.
