Toward a Corpus Study of the Dynamic Gradual Type

Dibri Nsofor, Ben Greenman

Gradually-typed languages feature a dynamic type that supports implicit coercions, greatly weakening the type system but making types easier to adopt. Understanding how developers…