[Haskell-cafe] Re: Monad.Reader 8: Haskell, the new C++

Aaron Denney wnoise at ofb.net
Wed Sep 12 19:36:07 EDT 2007


On 2007-09-12, Don Stewart <dons at galois.com> wrote:
> ok:
>> 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.

-- 
Aaron Denney
-><-



More information about the Haskell-Cafe mailing list