CFSDN nhấn mạnh vào giá trị tạo ra nguồn mở và chúng tôi cam kết xây dựng nền tảng chia sẻ tài nguyên để mọi nhân viên CNTT có thể tìm thấy thế giới tuyệt vời của bạn tại đây.

Bài blog CFSDN này giới thiệu một công cụ kiểm tra kiểu python có tên bản quyền (được khuyến nghị) được tác giả sưu tầm và biên soạn. Nếu các bạn quan tâm đến bài viết này thì nhớ like nhé.

Mới đây, Microsoft đã mở mã nguồn công cụ kiểm tra kiểu tĩnh Python trên Github: bản quyền, thu hút nhiều sự chú ý trong cộng đồng.

Sự tham gia của Microsoft vào các dự án nguồn mở ngày càng lớn hơn. Chưa kể đến tham vọng chiến lược lớn là mua lại Github, trình soạn thảo VS Code mã nguồn mở của nó đã thu hút vô số người hâm mộ trong thế giới loài khỉ, ngay cả trong giới Python. tác giả của nhiều dự án nguồn mở, bao gồm các yêu cầu, yêu cầu-html, phản hồi, v.v.) hết lời khen ngợi nó.

Ngày nay, Pyright mã nguồn mở đã có danh tiếng tốt, vì vậy chúng ta hãy xem xét các khả năng của nó và nhân tiện giới thiệu một số công cụ kiểm tra loại khác.

Như chúng ta đã biết, Python là một ngôn ngữ được gõ động và loại biến thực tế không được biết cho đến khi chạy. Đây là đặc điểm của ngôn ngữ động. Tuy nhiên, trong các dự án làm việc nhóm hoặc quy mô lớn, chi phí bảo trì là không thể tránh khỏi: “Động lực thì thú vị một thời gian, nhưng việc tái thiết lại là một lò hỏa táng”.

Ngay từ PEP-3107 năm 2006, Python đã giới thiệu chức năng chú thích hàm, chức năng này cuối cùng đã được triển khai trong phiên bản 3.0. Trong phiên bản 3.5, Python tiếp tục giới thiệu cú pháp kiểm tra kiểu tĩnh (tức là PEP-484, gợi ý kiểu). PEP-483 2014 thậm chí còn đưa ra một bản tóm tắt lý thuyết với tiêu đề "Lý thuyết về gợi ý kiểu". Sau đó, PEP-526 và PEP-544 lần lượt được đề xuất và các thông số kỹ thuật để kiểm tra loại dần dần được phong phú hơn.

Lợi ích của việc kiểm tra kiểu là kiểm tra sớm, phát hiện trước lỗi loại và nâng cao tính nhất quán cũng như khả năng bảo trì của mã. (Cũng ngăn ngừa rụng tóc, meo meo).

Như trong ví dụ trên, sau khi thêm kiểm tra, có thể xác định tại thời điểm biên dịch xem các tham số đầu vào và giá trị trả về có thuộc loại chuỗi hay không. Ví dụ: hình ảnh dưới đây:

Trước khi Microsoft tung ra pyright, có ba công cụ kiểm tra tĩnh phổ biến: mypy chính thức, pytype của Google và pyre-check của Facebook. Tình thế ba chân sắp bị phá vỡ.

Tài liệu về bản quyền tuyên bố rằng nó có các tính năng sau:

1. Nhanh. So với mypy và các công cụ kiểm tra khác được viết bằng Python, nó nhanh hơn gấp 5 lần hoặc hơn.
2. Không phụ thuộc vào môi trường Python. Nó được viết bằng TypeScript, chạy trên nút và không dựa vào môi trường Python hoặc các gói của bên thứ ba.
3. Cấu hình cao. Hỗ trợ cấu hình miễn phí và hỗ trợ chỉ định các môi trường chạy khác nhau (cài đặt PYTHONPATH, phiên bản Python, mục tiêu nền tảng).
4. Tất cả các mục kiểm tra đã hoàn tất. Hỗ trợ kiểm tra kiểu và kiểm tra các mục cú pháp khác (chẳng hạn như PEP-484, PEP-526, PEP-544), cũng như kiểm tra các giá trị trả về của hàm, biến lớp, biến toàn cục và thậm chí cả các câu lệnh vòng lặp có điều kiện
5. Công cụ dòng lệnh. Nó chứa hai plug-in VS Code: công cụ dòng lệnh và Giao thức máy chủ ngôn ngữ
6. Stub tích hợp sẵn. Một bản sao của Typeshed được sử dụng. (Lưu ý: Sử dụng tệp pyi tĩnh để kiểm tra các mô-đun tích hợp, thư viện tiêu chuẩn và các thành phần của bên thứ ba)
7. Tính năng dịch vụ ngôn ngữ Thông tin nhắc nhở khi di chuột, nhảy định nghĩa biểu tượng, phản hồi chỉnh sửa theo thời gian thực

Về vấn đề này, không thể nói là nó không mạnh. Trên thực tế, pyright “đứng trên vai những người khổng lồ”, và các chức năng của nó dường như được kế thừa từ một số người tiền nhiệm khác.

Tiếp theo, hãy xem mypy chính thức. Nó được đích thân phát triển bởi Guido van Rossum, "cha đẻ của Python". Nó là sự lựa chọn phổ biến nhất. Nó được ra mắt sớm, có lượng người dùng lớn và có tài liệu cũng như trải nghiệm cộng đồng phong phú nhất. .

Về mặt IDE tích hợp, tất cả các trình soạn thảo chính thống đều hỗ trợ: PyCharm, Vim, Emacs, Sublime Text, VS Code, Atom... Dựa trên kinh nghiệm trong ngành, các dự án Instagram và Dropbox đã được chuyển từ py2 sang py3 bằng cách sử dụng Assure.

Tiếp theo, hãy xem pytype của Google Theo tài liệu, nó có thể:

1. Gắn cờ các lỗi phổ biến như lỗi chính tả và lỗi gọi hàm
2. Tăng cường chú thích loại tùy chỉnh
3. Hỗ trợ tạo chú thích kiểu cho tệp pyi

Nhìn vào tài liệu, tôi thấy nó có chức năng rất thân thiện với người dùng, đó là "khử nhiễu lỗi". Đối với các lỗi không cần sửa, bạn có thể thêm nhận xét để loại bỏ việc kiểm tra kiểu.

Ngoài ra, còn một điều cần cân nhắc nữa. Để viết kiểm tra kiểu, các mô-đun khác có thể được đưa vào mô-đun sau, pytype có cách để ẩn nó và chỉ tải nó khi thực hiện kiểm tra kiểu.

Cuối cùng, tôi muốn giới thiệu pyre-check của Facebook, một ứng dụng có mã nguồn mở vào năm ngoái và đã nhận được rất nhiều lời khen ngợi (có thể chính vì nó mà Microsoft đã tung ra dự án bản quyền).

Các chức năng cơ bản tương tự nhau nhưng nó cũng có những điểm nổi bật. pyre-check có thể tích hợp mô-đun Watchman "Người theo dõi" này sẽ giám sát tệp mã và theo dõi các sửa đổi. Bản quyền của Microsoft có chế độ xem, đáng lẽ phải hấp thụ điều này và giúp sử dụng dễ dàng hơn (vì không cần cài đặt thêm Watchman và các phụ thuộc khác).

Điểm nổi bật khác của pyre-check là nó có một tham số truy vấn, có thể thực hiện kiểm tra cục bộ và khu vực trên mã nguồn, chẳng hạn như truy vấn loại biểu thức trong một dòng nhất định, truy vấn tất cả các phương thức của một lớp và trả về chúng dưới dạng một danh sách, v.v. Có thể tránh được việc kiểm tra toàn diện.

Bây giờ 4 loại công cụ kiểm tra đã được giới thiệu, đây là bảng so sánh tóm tắt:

Về hiệu suất của họ, có đúng như pyright đã nói là nhanh hơn những người khác 5 lần không? Các bạn sinh viên quan tâm có thể dùng thử. Bạn nào có kinh nghiệm sử dụng thì để lại tin nhắn để trao đổi với mình nhé.

 Địa chỉ dự án:

https://github.com/python/mypy 。

https://github.com/Microsoft/pyright 。

https://github.com/google/pytype 。

https://github.com/facebook/pyre-check 。

Trên đây là toàn bộ nội dung bài viết này hi vọng nó sẽ giúp ích cho việc học của mọi người và cũng mong mọi người ủng hộ mình.

Liên kết gốc: https://blog.csdn.net/qq_32502511/article/details/88892825.

Cuối cùng, bài viết giới thiệu công cụ kiểm tra loại Python có tên Pyright (được khuyến nghị) kết thúc tại đây. Nếu bạn muốn biết thêm về việc giới thiệu một công cụ kiểm tra loại Python có tên Pyright (được khuyến nghị), vui lòng tìm kiếm bài viết CFSDN hoặc xem tiếp các bài viết liên quan. Tôi hy vọng bạn sẽ ủng hộ blog của tôi trong tương lai! .