https://www.zdnet.com/article/microsoft-opens-up-rust-inspired-project-verona-programming-language-on-github/

＞Also, Rust isn't the only language that's inspiring Project Verona,
＞which also borrows concepts from Cyclone, a "safe dialect of C"
＞and Pony, which has key contributors from Microsoft Research.

久しぶりにPonyの話が出てる
Pony大勝利やん