Privacy-Respecting Type Error Telemetry Study in Luau Programming Language

The authors designed a telemetry system to study type errors in the Luau programming language without compromising privacy. The study revealed insights into the effectiveness of type analysis modes and their impact on error detection.