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!


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

Reply via email to