[Haskell-cafe] Re: Monad.Reader 8: Haskell, the new C++
wnoise at ofb.net
Wed Sep 12 19:36:07 EDT 2007
On 2007-09-12, Don Stewart <dons at galois.com> wrote:
>> I've been told that functional dependencies are old hat and there is
>> now something better. I suspect that "better" here means "worse".
> Better here means "better" -- a functional language on the type system,
> to type a functional language on the value level.
Meh. I prefer functional languages for general problems, but as
type-checking is a rather specific problem, I don't see why logic
programming isn't more appropriate.
More information about the Haskell-Cafe