Key points are not available for this paper at this time.
Python 3은 매우 동적 언어이지만, PEP484로 타입을 표현하는 구문을 도입했습니다. 이 논문은 개발자들이 이러한 타입 주석을 사용하는 방법, 타입 검사 및 추론 도구가 제공하는 타입 시스템의 의미, 그리고 이러한 도구의 성능을 탐구합니다. 우리는 공개 GitHub 리포지토리 코퍼스에서 타입과 도구를 평가합니다. 그리고 두 가지 전형적인 정적 타입 검사 및 추론 도구인 MyPy와 PyType, 그리고 타입 분석에 대한 그들의 독특한 접근법을 검토합니다. 그런 다음 세 가지 연구 질문을 다룹니다: (i) 개발자들은 어떤 방식으로 Python 3 타입을 얼마나 자주 사용합니까? (ii) 개발자들이 만드는 타입 오류는 무엇입니까? (iii) 서로 다른 도구의 타입 오류는 어떻게 비교됩니까?
Rak‐amnouykit et al. (Sun,) 이 질문을 연구했습니다.