파이썬 '코드 깔끔하게 유지하기' 위한 형식 검사기 4가지

최근 대세인 파이썬의 코드를 검증하는 툴들이 있어 이를 잘 활용하시면 개발생산성을 높일수 있을거 같습니다. 상세 내용은 링크를 봐주시기 바랍니다.^^ 지난 몇 년 사이 파이썬에 형식 주석이 추가되면서 개발 중 파이썬 형식을 검사하는 소프트웨어가 등장했다. 파이썬은 (적어도 아직은) 런타임에서 형식을 검사하지 않는다. 그러나 좋은 형식 검사기를 활용하면 IDE에서 파이썬의 형식 주석을 사용해 많은 일반적인 실수를 프로덕션에 이르기 전에 걸러낼 수 있다. 🚩 마이파이(https://mypy-lang.org/) 마이파이(Mypy)는 원래 드롭박스(Dropbox)에서 내부 코드베이스를 최적화하기 위해 개발했다. 파이썬용 최초의 정적 형식 검사 시스템이라고 할 수 있다. 2012년부터 개발을 시작해 지금도 활발한 개선되고 있다. 기본적으로 서드파티 형식 검사 라이브러리가 파이썬에서 작동하는 방식을 규정하는 프로토타입으로, 이후 다른 많은 형식 검사기가 등장해 마이파이를 기반으로 확장됐다. 🚩 파이타입(https://google.github.io/pytype/) 파이타입(Pytype)은 구글에서 만들었으며, 형식 설명자 대신 추론을 사용한다는 면에서 마이파이 등과 구분된다. 즉, 파이타입은 엄격히 형식 주석에만 의존하는 것이 아니라 코드 흐름을 분석해 형식을 판단한다. 🚩파이라이트(https://github.com/Microsoft/pyright) 와 파이랜스(https://bit.ly/3JDjOq4) 파이라이트(Pyright)는 마이크로소프트의 파이썬 형식 검사기로, 비주얼 스튜디오 코드용 파이랜스(Pylance) 확장에 포함된다. 이미 VS 코드 사용자라면 파이랜스 확장이 파이라이트를 다루는 가장 편리한 방법이다. 설치만 하면 바로 사용할 수 있다. 파이라이트는 우수한 올인원 형식 검사 및 코드 린팅 환경을 제공하며 앞서 소개한 파이썬 분석 툴의 편의성과 고급 기능도 대부분 지원한다. 🚩파이어(https://pyre-check.org/) 페이스북과 인스타그램의 개발자들이 만든 파이어(Pyre)는 사실 형식 검사기인 파이어와 정적 코드 분석 툴인 파이사(Pysa), 두 개의 툴이 하나로 합쳐진 것이다. 두 툴은 함께 작동해 다른 툴보다 더 높은 수준의 검사 및 분석 기능을 제공하지만, 제대로 활용하려면 개발자가 직접 해야 할 일이 몇 가지 있다.