[Haskell-cafe] SIGPLAN Programming Languages Software Award

[Richard O'Keefe]

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...