[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde

Wolfgang Jeltsch 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?

Best wishes,

More information about the Haskell-Cafe mailing list