
10 Jun
2011
10 Jun
'11
6:05 a.m.
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...