We already had it in 1961 as ESPOL and NEWP.
http://www.liquisearch.com/burroughs_large_systems/algol/esp...
Followed by many others, before UNIX's adoption due to its source being available for free.
> I'm not sure I want another UNIX implementation.
Yeah, they just keep repeating what was already done and without much research besides adding mainframe features.
As Rob Pike puts it:
"We really are using a 1970s era operating system well past its sell-by date. We get a lot done, and we have fun, but let's face it, the fundamental design of Unix is older than many of the readers of Slashdot, while lots of different, great ideas about computing and networks have been developed in the last 30 years. Using Unix is the computing equivalent of listening only to music by David Cassidy."
from https://interviews.slashdot.org/story/04/10/18/1153211/rob-p...
What we really need are OSes that take the ideas from human-computer interaction from Xerox PARC and Viewpoints Research Institute and take them further into mainstream, using safe languages in the process.