5 ms·

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

• arrowsmith 2y ago
  It's a gradual type system that they're rolling out gradually.