I see, by &quot;in the paper itself&quot; and &quot;the original paper&quot; you mean &quot;Is Sound Gradual Typing Dead? [pdf] (neu.edu)&quot; not the paper `sitkack` referenced.<p>Same problem in section 6.1 -- &quot; “Reticulated  programs  perform  far  worse  than  their unchecked  Python  implementations” -- and nothing to support your claim that &quot;Reticulated Python is still an order of magnitude faster than Ruby&quot;.