Gradual Programming: Bridging the Semantic Gap
Bor-Yuh Evan, Chang Amer, Diwan Jeremy, G. Siek · 2009
There is no perfect programming language. Programmers must write code conforming to the idiosyncrasies of a programming language. Thus, there is often a disconnect between the intent of the developer and the meaning of the program. This semantic gap has a negative effect on programmer productivity, software reliability, and execution efficiency. In this position paper, we argue that in order to address this semantic gap, we must drastically rethink how we develop software.