Am Samstag, 14. März 2009 08:19 schrieb Peter Verswyvelen: > 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?
I doubt that it will be a good thing to include full dependent types into a language with partial functions like Haskell. Conor, is Epigram currently under development? Best wishes, Wolfgang _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
