[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde
g9ks157k at acme.softbase.org
Sat Mar 14 08:00:08 EDT 2009
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?
More information about the Haskell-Cafe