[Haskell-cafe] Re: Wikipedia on first-class object
jonathanccast at fastmail.fm
Sun Jan 6 19:09:29 EST 2008
On 6 Jan 2008, at 4:00 PM, Aaron Denney wrote:
> On 2008-01-06, Jonathan Cast <jonathanccast at fastmail.fm> wrote:
>> To wit, I do not believe the term `declarative' has any single
>> referent, even in the sense that the term `functional' has any single
>> referent. I find the only similarity between Haskell and Prolog
>> to be
>> that neither is imperative.
> Have you tried comparing Prolog to GHC's multiparameter type-classes?
Well, they both express relations, they both stand in opposition to
more basically functional approaches, and they are interpreted at
entirely different points in the program's lifetime.
So I guess you could find lots of points of comparison. Similarity?
I'm still not convinced.
More information about the Haskell-Cafe