My CPU

In the memory, different type of symbols are stored together. It is essential for the CPU to be able to differentiate among them. Therefore type information is required to be assigned to each unit of information. This piece of information is tagged to each symbol. A lot of effort has been dedicated…

As the computational model will be purely functional without any imperative elements (which could introduce side effects), a simple expression rewriting system will be adequate. User-defined functions will make up a library, which will in turn, also define the rewriting rules. Functions from…