Yeah, I should clarify, this quote came up in relation to ATs, which are designed speifically to make type programming easier (unlike MPTCs and FDs, where it was an Olegian accident)
lennart: > No, Haskell wasn't designed with type level programming in mind. > In fact it took a few years before any serious type level > programming was done. And lo and behold, the type level has an > untyped logic language. > > -- Lennart > > On Fri, Mar 14, 2008 at 9:41 PM, Ben Franksen <[EMAIL PROTECTED]> > wrote: > > Don Stewart wrote: > > As Manuel says, in C++ type level programming was an accident, in > > Haskell, it was by design. > > Was it, really? I was laways under teh impression that Oleg-style type > system tricks were not in the least anticipated back when Haskell > acquired > type classes... > > Cheers > Ben > _______________________________________________ > Haskell-Cafe mailing list > [EMAIL PROTECTED] > [3]http://www.haskell.org/mailman/listinfo/haskell-cafe > > References > > Visible links > 1. mailto:[EMAIL PROTECTED] > 2. mailto:[email protected] > 3. http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
