[mhanberg]

Correct, a gradual type system is a form of type system and not the method for rolling it out.

[arrowsmith]

It's a gradual type system that they're rolling out gradually.