<div dir="ltr">I've always stuck to the definition of a closed lambda term (the Y, U, S, K, etc... combinators, for example). The colloquial usage generally implies something like "a higher order function that does something interesting (and possibly DSL-y)."<div>
<br></div><div>Kris</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Aug 24, 2013 at 12:09 AM, damodar kulkarni <span dir="ltr"><<a href="mailto:kdamodar2000@gmail.com" target="_blank">kdamodar2000@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello,<br>The word "combinator" is used several times in the Haskell community. e.g. parser combinator, combinator library etc.<br>
<br>Is it exactly the same term that is used in the "combinatory logic" ?<br>
<div style="margin-left:40px">A combinator is a higher-order function that uses *only function application* and earlier defined combinators to define a result from its arguments. [1]<br><br></div>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. <br>
<br>If the above observation holds, is the term combinator as used in the Haskell community, properly defined?<br><br>In other words:<br><br>Where can I find a formal and precise definition of the term "combinator", as a term used by the Haskell community to describe "something"?<br>
<div class="gmail_extra"><br></div><div class="gmail_extra">Ref: <a href="http://en.wikipedia.org/wiki/Combinatory_logic" target="_blank">http://en.wikipedia.org/wiki/Combinatory_logic</a><br><br clear="all"></div><div class="gmail_extra">
<div>Thanks and regards,<br>-Damodar Kulkarni<br><br></div>
</div></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>