1. 기본/개요
파이썬의 어노테이션(annotation) 문법 자체는 Python 3.0에서 도입되었지만, 당시에는 특정한 용도가 정해져 있지 않았습니다. 이후 PEP 484가 타입 힌트를 파이썬 코드에 추가하는 표준 문법을 정의했으며, Real Python의 설명에 따르면 이는 Jukka Lehtosalo가 자신의 박사 과정 프로젝트로 진행했던 mypy 작업을 기반으로 만들어졌습니다. mypy 공식 사이트는 스스로를 "동적(덕) 타이핑과 정적 타이핑의 장점을 결합하는 것을 목표로 하는 파이썬용 선택적 정적 타입 검사기"라고 소개합니다.
PEP 484 원문은 이 제안의 목표 중 정적 분석 지원이 가장 중요하다고 밝히며, 이는 mypy 같은 오프라인 타입 검사기, 그리고 IDE의 코드 완성·리팩터링을 위한 표준 표기법 제공을 포함한다고 설명합니다.
2. 기능/스펙
mypy의 설계 철학은 점진적 타이핑(gradual typing)입니다. GitHub의 mypy 공식 저장소 설명에 따르면, 타입 힌트를 추가해도 프로그램이 원래 실행되는 방식에는 영향을 주지 않으며, 타입 힌트는 주석과 비슷한 것으로 생각하면 된다고 안내합니다. 즉 mypy가 타입 오류를 보고하더라도 파이썬 인터프리터로 프로그램을 그대로 실행할 수 있습니다. 코드베이스 전체를 한 번에 바꿀 필요 없이, 함수 단위로 점진적으로 정적 타이핑을 도입할 수 있다는 것이 이 도구의 핵심 특징입니다.
mypy는 타입 추론, 제네릭, callable 타입, 튜플 타입, 유니언 타입, 구조적 서브타이핑(Protocol) 등 다양한 타입 시스템 기능을 지원한다고 공식 문서는 설명합니다. 또한 mypy 자체가 mypyc라는 컴파일러로 컴파일되어 배포되는데, 이 덕분에 인터프리터로 실행할 때보다 약 4배 빠르게 동작한다고 GitHub 저장소 설명에 명시되어 있습니다.
3. 장단점 (내 생각과 비판 포함)
Real Python 가이드는 타입 힌트의 장점으로 코드 문서화 효과, 그리고 IDE와 린터의 코드 완성·정적 추론 능력 향상을 꼽습니다. 실행 전에 버그를 잡아낼 수 있다는 점도 명확한 이점입니다.
다만 개인적으로 비판적으로 짚고 싶은 부분은 mypy의 기본 동작 방식입니다. 여러 자료에 따르면 mypy는 기본적으로 최소한의 검사만 수행하도록 설계되어 있어서, 어노테이션이 없는 함수는 기본적으로 검사 대상에서 제외되고, 어노테이션이 없는 함수 내부의 코드는 전혀 검사되지 않는다고 설명됩니다. --check-untyped-defs나 --strict 같은 옵션을 명시적으로 켜야 이런 사각지대가 줄어드는데, 실무에서는 이 옵션을 켜지 않고 "mypy를 쓰고 있으니 타입이 안전하다"고 오해하는 경우가 적지 않을 것으로 보입니다. 이는 mypy의 결함이라기보다 점진적 타이핑이라는 설계 철학이 낳는 트레이드오프이지만, 팀 차원에서 --strict 같은 엄격 모드를 의식적으로 도입하지 않으면 타입 힌트가 주는 안전감이 실제보다 과장될 수 있다는 점은 사용자가 분명히 인지해야 할 부분이라고 생각합니다. 또한 서드파티 라이브러리가 타입 정보를 온전히 제공하려면 py.typed라는 빈 파일을 추가해야 하는데, 이 마지막 단계를 라이브러리 제작자가 종종 빠뜨린다는 지적도 있어, 생태계 전반의 타입 커버리지가 고르지 않다는 한계도 존재합니다.
4. 추천대상
점차 규모가 커지는 코드베이스를 한 번에 다시 쓰지 않고 타입 안정성을 서서히 도입하고 싶은 팀에게 mypy와 타입 힌트는 적합한 선택입니다. 특히 여러 명이 협업하는 라이브러리나 API 코드에서는 함수 시그니처에 타입을 명시하는 것만으로도 IDE 지원과 코드 가독성이 크게 개선됩니다. 반면 짧고 한 번 쓰고 마는 스크립트 수준의 작업이라면 타입 힌트 도입의 실익이 크지 않을 수 있습니다.
5. FAQ
Q1. 타입 힌트는 런타임에 강제되나요?
A. 아닙니다. PEP 484 원문에 따르면 어노테이션은 런타임에 __annotations__ 속성을 통해 접근 가능하지만, 런타임에 타입 검사가 일어나지는 않으며 별도의 오프라인 타입 검사기가 있다는 것을 전제로 설계되었습니다.
Q2. mypy는 정확히 언제 만들어졌나요?
A. 이번 조사에서 확인한 자료들은 mypy가 Jukka Lehtosalo의 박사 과정 프로젝트에서 출발해 PEP 484의 기반이 되었다는 점은 확인했지만, mypy의 최초 공개·출시 연도를 명확히 밝히는 출처는 확인할 수 없었습니다. 정확한 시점이 필요하다면 별도로 확인하시길 권장합니다.
Q3. mypy는 지원하는 최소 파이썬 버전이 있나요?
A. 최근 mypy 관련 자료에 따르면 mypy 2.0부터는 --python-version 3.9 대상 지정이 거부되며 최소 대상 버전이 3.10으로 올라갔다고 안내되어 있습니다. 다만 이는 특정 시점의 정보이므로, 실제 적용 전에는 mypy 공식 문서에서 최신 지원 버전을 다시 확인하는 것이 안전합니다.
Q4. mypy는 타입 힌트가 없는 코드도 기본적으로 전부 검사하나요?
A. 아닙니다. 기본 설정에서는 어노테이션이 없는 함수를 검사 대상에서 제외하며, --check-untyped-defs나 --strict 옵션을 켜야 더 폭넓게 검사합니다.
6. 출처
PEP 484 – Type Hints (peps.python.org/pep-0484)
mypy 공식 사이트 (mypy-lang.org)
mypy 공식 문서 (mypy.readthedocs.io)
GitHub, python/mypy 공식 저장소 README
Real Python, "Python Type Checking (Guide)" (realpython.com/python-type-checking)