[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde

[Peter Verswyvelen]

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...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090314/9980d8b7/attachment.htm