On Saturday, 28 December 2013 at 16:09:45 UTC, Klaim - Joël Lamotte wrote:
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-end
to me.

In the comments the author (joeduffy) writes:
"we prove programs race-free, and have generics & inheritance."

Interesting!

Reply via email to