#strongtypes
July 19, 2026 at 2:04 PM
I wonder if (1) any one has done any study on the strength of type declarations on a program (or strength of types in general) and (2) if there are other metrics one could use for evaluating the strength of types.

#softwaretesting #mutationanalysis #mutationtesting #typesystems #strongtypes
November 28, 2024 at 12:00 AM