Evaluation of the cost of language abstractions and features

Research areas

Description

Language abstractions and features typically come at a cost.

it is hard to figure out the cost since languages are complex. Mu IR is a simple IR (language) with fairly small implementation, and it is possible to use it to measure the cost of different abstractions/features.
For example, A = {Mu IR}, B = {Mu IR + dynamic typing}. Comparing A and B, we know how much dynamic typing cost. Or A = {Mu IR}, B = {Mu IR + OOP}.