"a language that targets compilation into reliable components, and networks-of-components, that are guaranteed to behave well; that push general-purpose languages to the periphery of those networks, as byzantine actors."