[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde
bugfact at gmail.com
Sat Mar 14 03:19:23 EDT 2009
On Sat, Mar 14, 2009 at 2:36 AM, Henning Thielemann <
lemming at henning-thielemann.de> wrote:
> a lot. However, isn't this halfheartedly since we all wait for full
> dependent types? :-)
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe