. . . . . . . . "134" . . . . "Transient Typechecks are (Almost) Free"^^ . . . . . "2019-04-01" . . . . . . . . . . "Transient gradual typing imposes run-time type tests that typically cause a linear slowdown in\r\nprograms\u2019 performance. This performance impact discourages the use of type annotations because\r\nadding types to a program makes the program slower. A virtual machine can employ standard justin-time optimizations to reduce the overhead of transient checks to near zero. These optimizations\r\ncan give gradually-typed languages performance comparable to state-of-the-art dynamic languages,\r\nso programmers can add types to their code without affecting their programs\u2019 performance."^^ . . .