[Haskell-cafe] Re: Type system

[Lennart Augustsson]

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 <ben.franksen at online.de>
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
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080314/d5760783/attachment-0001.htm