[Haskell-cafe] Re: Type system
Don Stewart
dons at galois.com
Fri Mar 14 19:09:26 EDT 2008
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 <[1]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
> [2]Haskell-Cafe at haskell.org
> [3]http://www.haskell.org/mailman/listinfo/haskell-cafe
>
> References
>
> Visible links
> 1. mailto:ben.franksen at online.de
> 2. mailto:Haskell-Cafe at haskell.org
> 3. http://www.haskell.org/mailman/listinfo/haskell-cafe
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
More information about the Haskell-Cafe
mailing list