On Fri, Aug 23, 2013 at 9:09 PM, damodar kulkarni <kdamodar2...@gmail.com>wrote:
> Hello, > The word "combinator" is used several times in the Haskell community. e.g. > parser combinator, combinator library etc. > > Is it exactly the same term that is used in the "combinatory logic" ? > A combinator is a higher-order function that uses *only function > application* and earlier defined combinators to define a result from its > arguments. [1] > > It seems, the term combinator as in, say, "parser combinator", doesn't > have much to do with the "*only function application*" requirement of the > "combinatory logic", per se. > > If the above observation holds, is the term combinator as used in the > Haskell community, properly defined? > > In other words: > > Where can I find a formal and precise definition of the term "combinator", > as a term used by the Haskell community to describe "something"? > Good question. I believe this article addresses the points you raise: http://www.haskell.org/haskellwiki/Combinator
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
