14 Mar
2009
14 Mar
'09
8 a.m.
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