This is interesting but: - they don't talk about generic code?- it's not clear if their language solves the build time issue C++ have(which D solves)- if it's not a totally open language specification, then it's a dead-endto me.
In the comments the author (joeduffy) writes: "we prove programs race-free, and have generics & inheritance." Interesting!
