This looks like an improved version of Go. The website claims that it will guarantee no data races at compile time (work in progress). I'd like to know how he

This looks like an improved version of Go. The website claims that it will guarantee no data races at compile time (work in progress). I'd like to know how he plans to accomplish this as it's not a trivial problem to solve completely. Also, a lack of algebraic (sum) data types makes it much less attractive to me. Otherwise, neat little language.