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

Reply via email to