[patricksli]

We're still working on a paper on comprehensive performance measurements, but we don't expect to see the same slowdown.

Very intentionally, we called Stanza an "optionally-typed" language instead of a "gradually-typed" language. The moniker "gradual typing" was coined by Jeremy Siek and implies a very specific semantics and implementation style. One of the drawbacks of gradual typing is that obtaining good performance can be tricky.

Stanza does not use the same system, and we are not seeing the same problems. But the experiments and paper are still in progress.