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

Derek Elkins derek.a.elkins at gmail.com
Wed Sep 12 19:56:46 EDT 2007

On Wed, 2007-09-12 at 23:36 +0000, Aaron Denney wrote:
> 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.

Type systems are the new general purpose programming languages.

More information about the Haskell-Cafe mailing list