For people interested in this subject, this recent HN post might be also relevant:

https://news.ycombinator.com/item?id=25253070

My interpretation is that the end goal seems similar, but this project starts with the Rust language instead.