This section covers some of the high-level design desisions and trade offs made in the Onyx programming language.