PyTy: Repairing Static Type Errors in Python
Published in Proceedings of the IEEE/ACM 46th International Conference on Software Engineering • Apr 12, 2024
NobleIDNI7P16W61R83S28
Authors:,,
Yiu Wai Chow
Luca Di Grazia
Michael Pradel
Abstract
Gradual typing enables developers to annotate types of their own choosing, offering a flexible middle ground between no type annotations and a fully statically typed language. As more and more code bases get type-annotated, static type checkers detect an increasingly large number of type errors. Unf...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!