[Haskell-cafe] Re: Type system
lennart at augustsson.net
Fri Mar 14 18:49:32 EDT 2008
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.
On Fri, Mar 14, 2008 at 9:41 PM, Ben Franksen <ben.franksen at online.de>
> 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...
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe