October 20, 2019
Optimizing and Evaluating Transient Gradual Typing
Dynamic Language Symposium
Gradual typing enables programmers to combine static and dynamic typing in the same language. However, ensuring sound interaction between the static and dynamic parts can incur runtime cost. In this paper, we analyze the performance of the transient design for gradual typing in Reticulated Python, a gradually typed variant of Python.
By: Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Systems & Networking