Abstract: The design of programming languages has always been an important topic in the field of programming language theory. However, most attention on programming language research focuses on ...