July 30, 2015 Dependent types in half of D | ||||
|---|---|---|---|---|
| ||||
 | Just noticed a nice blog post about mapping dependent type applications to D. http://www.infognition.com/blog/2015/dependent_types_in_d.html reddit: https://www.reddit.com/r/programming/comments/3f59f4/dependent_types_in_half_of_d/ | |||
Permalink
ReplyJuly 30, 2015 Re: Dependent types in half of D | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Max Klyga | On 07/30/2015 12:40 PM, Max Klyga wrote:
> Just noticed a nice blog post about mapping dependent type applications
> to D.
> http://www.infognition.com/blog/2015/dependent_types_in_d.html
>
> reddit:
> https://www.reddit.com/r/programming/comments/3f59f4/dependent_types_in_half_of_d/
>
As already noted on announce, there is no dependent typing here. Failures occur during interpretation.
| |||
Copyright © 1999-2021 by the D Language Foundation