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] > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
