• Max Klyga (5/5) Jul 30 2015 Just noticed a nice blog post about mapping dependent type
• Timon Gehr (3/8) Jul 30 2015 As already noted on announce, there is no dependent typing here.

"Max Klyga" <max.klyga gmail.com> writes:

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/

Timon Gehr <timon.gehr gmx.ch> writes:

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.