[Haskell-cafe] Monad.Reader 8: Haskell, the new C++
Albert Y. C. Lai
trebla at vex.net
Wed Sep 12 18:06:56 EDT 2007
> So we have
> C++ : imperative language whose type system is a Turing-complete
> functional language (with rather twisted syntax)
> Haskell: functional language whose type system is a Turing-
> complete logic programming language (with rather twisted
They also have twisted semantics.
> I've been told that functional dependencies are old hat and there is
> now something better. I suspect that "better" here means "worse".
Lattice duality, Galois connections, functor adjunctions, etc., have
taught me that better is always equivalent to worse.
More information about the Haskell-Cafe