[Haskell-cafe] SIGPLAN Programming Languages Software Award

Richard O'Keefe 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" [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...

More information about the Haskell-Cafe mailing list