Ty - Trình kiểm tra kiểu Python và máy chủ ngôn ngữ tốc độ cao

• ty là một trình kiểm tra kiểu Python và máy chủ ngôn ngữ rất nhanh được viết bằng Rust
• Hiện vẫn là phần mềm tiền phát hành, chưa sẵn sàng để sử dụng trong production
• Đang được phát triển trong kho lưu trữ Ruff, trình lint Python siêu nhanh của Astral, với mục tiêu đạt được độ ổn định và tính hoàn thiện tính năng
• Giấy phép MIT

[zeyakim]

Đại đế astral.. lại làm được rồi sao

[youn17]

Ồ, đây có phải là một lựa chọn thay thế cho mypy không? Có vẻ là sản phẩm mới của Astral mà cứ dùng là yên tâm.

[brainer]

https://vi.news.hada.io/topic?id=13388

Là nơi đã tạo ra nó. Dù sao thì cũng rất ổn.

[xguru]

Ruff - trình lint Python nhanh hơn 10-100 lần
Astral - công ty tạo ra công cụ phát triển Python thế hệ tiếp theo

[GN⁺]

Ý kiến Hacker News

• :wave: Có vẻ tôi đã tìm ra một kho lưu trữ không còn là bí mật nữa. Chúng tôi đang chuẩn bị một thông báo lớn hơn.

  • Hiện tại phần mềm vẫn đang ở giai đoạn pre-alpha, và phiên bản là 0.0.0a6.
  • Các bản phát hành cho đến nay chỉ nhằm xác thực quy trình phát hành.
  • Chúng tôi muốn đưa nó đến tay mọi người, nhưng vẫn còn rất nhiều việc phải làm trước khi sẵn sàng cho production.
  • Hãy chờ thêm tin tức trong thời gian sắp tới.
  • (Tôi làm việc tại Astral)

• Tôi đã chuyển nhượng tên dự án "ty" trên pypi cho Astral.

  • Vài năm trước tôi định dùng nó như một trò đùa, nhưng rõ ràng nó có ích hơn cho một dự án có tên hai chữ cái.
  • Họ đã đồng ý quyên góp cho PSF để bày tỏ sự cảm kích.

• Cách những trình kiểm tra kiểu này trở nên nhanh hơn thường là không hỗ trợ hiện thực phức tạp của mã Python ngoài đời thực.

  • Lý do chúng tôi dùng mypy là vì đó là trình kiểm tra kiểu duy nhất có plugin cho Django.
  • Nó có thể kiểm tra kiểu đúng cách cho các phương thức được Django sinh ra khi chạy.
  • Tôi ước nhiều công cụ Python hơn sẽ áp dụng cách tiếp cận kiểu TS rằng "thứ tồn tại ngoài thực tế chính là ngôn ngữ".

• Tôi đã so sánh thời gian kiểm tra trên một dự án lớn.

  • mypy (dùng cache): 18 giây
  • ty: 0.5 giây (phát hiện 3500 lỗi)
  • Họ lại làm được rồi.

• Trước khi Astral xuất hiện, công cụ của Python tệ một cách đáng kinh ngạc so với Java.

  • Astral đã thay thế pip tệ hại bằng uv tuyệt vời.
  • Họ đã thay thế hàng loạt linter tệ hại bằng ruff tuyệt vời.
  • Giờ tôi hy vọng họ sẽ thay thế những type checker tệ hại (ví dụ như mypy) bằng một thứ tốt.
  • Mong rằng backend cho pypi cũng nằm trong danh sách của họ. Tôi muốn có Maven Central cho Python.

• Nếu đã cài uv, bạn có thể thử bằng lệnh sau mà không cần cài đặt.

  • uvx ty check

• Thật thú vị khi Astral xuất hiện đúng lúc Facebook ra mắt "Pyrefly, trình kiểm tra kiểu Python nhanh hơn được viết bằng Rust".

  • Đây không phải là một bình luận mang tính đạo đức, nhưng thật thú vị khi Rust tiếp tục lấn sâu vào thế giới công cụ cho Python và JS.

• Tôi rất hào hứng với một language server Python mới, đầy đủ tính năng, hoạt động trên vscode và các bản fork của vscode (ví dụ: Windsurf, Cursor).

  • Pylance gặp vấn đề trên các bản phân phối fork này.
  • Thật tốt khi có một lựa chọn mới thay vì phải chấp nhận thêm một bản triển khai Pyright fork nữa (BasedPyright, Cursor Pyright, Windsurf Pyright, ...).

• Tôi tự hỏi liệu những người này đã tìm ra cách kiếm tiền chưa.

• Nó có hỗ trợ Django stubs không? Đó là trở ngại duy nhất khiến công ty chúng tôi chưa chuyển sang.