Да и он говорил про как го, только с системой типов и всем, всем, всем.
Ну на самом деле, если так, посмотреть, пусть тот же хаскель берет.
Зелёные потоки как в го - есть, мутабельность (если хочет) тоже есть, всех видов и расцветок, начиная от st, mvar и заканчивая записью в сырые указатели и лин типами.