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

[thedeemon via Digitalmars-d-announce]

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