A fundamental goal is to make the distinction between physical machines less relevant during the actual process of writing code.