Language Design Essay
Topic Overview
Since the development of Plankalkül back in the 1940s, a large number of programming languages have been designed and implemented - each for its own specific problem domains and made with its own set of design decisions and compromises. For example there are languages which:
- Are strongly typed and loosely typed,
- Provide support for object orientation / abstraction of data types,
- Use static or dynamic scoping rules,
- Provide memory management (i.e. garbage collection) or allow the developer fine-grained control over heap-allocation and recycling,
- Provide closures to allow functions to be passed around like variables,
- Allow easy access to array slices and those which do not,
- Perform internal correctness checking of data and those which do not,
- Provide diverse and comprehensive suites of built-in functionality and those with a more limited set of features,
- Use pre-processors and macros to selectively expand or substitute source code, etc.
Each of these decisions can have a profound effect on the usefulness of a programming language in terms of factors such as its speed, robustness and general suitability to create programs of a certain type, such as for operating systems, or in the areas of business, scientific computation, artificial intelligence or video games.
The topic of your essay is to design a language for the problem domain of Banking.
Banking encompasses a number of areas including aspects of business, finance, and customer relations. It is worth thinking about the aspects of a banking system in terms of a number of features, including:
- Performance;
- Use and precision of data types and structures;
- Maintenance of code;
- Flexibility of design and implementation; and
- Robustness requirements in such a critical domain.
Even though security aspects are worth considering, the features of the language are the primary concern in this essay.
With this in mind your task is to theoretically design a language suitable for the use within the banking domain.
The actual implementation of the language and tool set is obviously outside the scope of this course, but you must express and justify the design decisions behind your programming language in terms of:
- The features and functionality that will allow your language to be suitable and useful within the banking domain (including what differentiates it from existing languages),
- The programming paradigms, such as procedural, object oriented, logic and functional programming.
You are free to design your language to be either interpreted, compiled or to work in a hybrid manner, but you must thoroughly justify your decision.
All language design choices must be sound, rational decisions which are backed up by robust discussion of the subject area. In addition, your document should include numerous references to back up any and all specific claims that you make. All references should be made in the APA referencing style.