On Sat, Mar 14, 2009 at 2:36 AM, Henning Thielemann < [email protected]> 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 [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
