On 10/06/2011, at 6:00 PM, Yves Parès wrote:
> Oh yes, having newly been using C++ at work, I realized they were a "big
> something" [1] that enabled you, as it were, to do whatever unstructured
> unholy type trickery you want, and yes, even making classes A<B> and A<C>
> completely different things. (BUT! We could argue over this fact: Isn't it
> also one of the purposes of... Type Families? Where the TF Foo :: * -> *, can
> yield to datatypes Foo String and Foo Int being completely different and
> unrelated?)
That was when Haskell went over to the Dark Side, yes.
Curious observation:
Object language Type language
OO (C++) functional
functional (Haskell) logical
It makes me wonder what comes next...
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
