Toward a Corpus Study of the Dynamic Gradual Type
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913731192029184 |
|---|---|
| author | Nsofor, Dibri Greenman, Ben |
| author_facet | Nsofor, Dibri Greenman, Ben |
| contents | 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 use this dynamic type is a critical question for the design of useful and usable type systems. This paper reports on an in-progress corpus study of the dynamic type in Python, targeting 221 GitHub projects that use the mypy type checker. The study reveals eight patterns-of-use for the dynamic type, which have implications for future refinements of the mypy type system and for tool support to encourage precise type annotations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_08928 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Toward a Corpus Study of the Dynamic Gradual Type Nsofor, Dibri Greenman, Ben Programming Languages Human-Computer Interaction Software Engineering D.3.3; D.2.2 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 use this dynamic type is a critical question for the design of useful and usable type systems. This paper reports on an in-progress corpus study of the dynamic type in Python, targeting 221 GitHub projects that use the mypy type checker. The study reveals eight patterns-of-use for the dynamic type, which have implications for future refinements of the mypy type system and for tool support to encourage precise type annotations. |
| title | Toward a Corpus Study of the Dynamic Gradual Type |
| topic | Programming Languages Human-Computer Interaction Software Engineering D.3.3; D.2.2 |
| url | https://arxiv.org/abs/2503.08928 |