Theory and Design of a Safe and Flexible Programming Language Based On the Integration of Static and Dynamic Typing

点击翻译按钮获取中文摘要

There are two kinds of programming languages: statically typed languages, in which a program is subject to error-checking before running it; and dynamically typed languages, in which errors in a program are found only at its run time. They have both advantages and disadvantages. In this research we designed a new language which has both functionalities and studied its theory and implementation. As theoretical results, we obtained a type-checking algorithm for partially-typed programs, a method to perform run-time checks, and their correctness proofs, which show errors found at run-time can be attributed to a portion of programs that are not checked before running. We also devised an implementation scheme.