[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde

[Wolfgang Jeltsch]

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