A walk through the Static Hermes optimizer, describing how it takes advantage of static type information to improve performance.