[blog post] Dependent types in (half of) D

[Timon Gehr via Digitalmars-d-announce]

On 07/30/2015 09:31 AM, thedeemon wrote:
> I had this idea for a long time but a recent talk about a real
> dependently typed language helped me with nice examples to demonstrate
> on. The interpreted part of D is actually dependently typed!
>
> http://www.infognition.com/blog/2015/dependent_types_in_d.html

There is no dependent typing here. Failures occur during interpretation.