Re: [Haskell-cafe] definition of the term "combinator"

2013-08-26 Thread Kristopher Micinski
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)." Kris On Sat, Aug 24, 2013 at 12:09 AM, damodar kul

Re: [Haskell-cafe] definition of the term "combinator"

2013-08-24 Thread damodar kulkarni
Thanks. I found the explanation given at the link quite useful in shedding the confusion I had had. Thanks and regards, -Damodar Kulkarni On Sat, Aug 24, 2013 at 10:57 AM, Jason Dagit wrote: > > > > On Fri, Aug 23, 2013 at 9:09 PM, damodar kulkarni > wrote: > >> Hello, >> The word "combinator

Re: [Haskell-cafe] definition of the term "combinator"

2013-08-23 Thread John Wiegley
> Jason Dagit writes: > Where can I find a formal and precise definition of the term > "combinator", A function that uses nothing but its arguments. > as a term used by the Haskell community to describe "something"? I find that Haskellers often use combinator to mean "a functio

Re: [Haskell-cafe] definition of the term "combinator"

2013-08-23 Thread Jason Dagit
On Fri, Aug 23, 2013 at 9:09 PM, damodar kulkarni 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 fun

[Haskell-cafe] definition of the term "combinator"

2013-08-23 Thread damodar kulkarni
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 combi