[Haskell-cafe] SIGPLAN Programming Languages Software Award
ok at cs.otago.ac.nz
Fri Jun 10 08:05:29 CEST 2011
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"  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.
Object language Type language
OO (C++) functional
functional (Haskell) logical
It makes me wonder what comes next...
More information about the Haskell-Cafe