http://www.infognition.com/blog/2015/dependent_types_in_d.html
[blog post] Dependent types in (half of) D
thedeemon via Digitalmars-d-announce Thu, 30 Jul 2015 00:35:51 -0700
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!
- [blog post] Dependent types... thedeemon via Digitalmars-d-announce
- Re: [blog post] Depend... Andrei Alexandrescu via Digitalmars-d-announce
- Re: [blog post] Depend... Timon Gehr via Digitalmars-d-announce
- Re: [blog post] De... thedeemon via Digitalmars-d-announce
- Re: [blog post... Timon Gehr via Digitalmars-d-announce
- Re: [blog ... Timon Gehr via Digitalmars-d-announce
- Re: [blog ... thedeemon via Digitalmars-d-announce