On Sat, Mar 14, 2009 at 2:36 AM, Henning Thielemann < lemm...@henning-thielemann.de> wrote:
> a lot. However, isn't this halfheartedly since we all wait for full > dependent types? :-) > Well, in C++ one can already use the numerical values with templates for achieving a lot of compile time computations. So I would be very happy to have this feature in Haskell. It might also be good research towards full dependent types no?
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe