New programming languages are usually designed because the designer is not satisfied with existing languages. This dissatisfaction can have many different causes: The designer may find the notation used in previous languages verbose, clumsy or opaque, the designer may find that certain data structures are not well supported, that certain kinds of computation are not easily expressible, or that it is difficult to reason about programs.