Ty - ตัวตรวจสอบประเภท Python และภาษาเซิร์ฟเวอร์ที่รวดเร็ว

 (github.com/astral-sh)
13 คะแนน โดย GN⁺ 2025-05-08 | 5 ความคิดเห็น | แชร์ทาง WhatsApp
  • ty คือ ตัวตรวจสอบประเภท Python และ ภาษาเซิร์ฟเวอร์ที่รวดเร็วมาก ซึ่งเขียนด้วย Rust
  • ขณะนี้ยังเป็น ซอฟต์แวร์รุ่นก่อนเปิดตัว และยังไม่พร้อมสำหรับใช้งานใน โปรดักชัน
  • กำลังพัฒนาอยู่ในรีโพซิทอรีของ Ruff ซึ่งเป็น Python Linter ความเร็วสูงมากของ Astral โดยมีเป้าหมายด้าน ความเสถียร และ ความสมบูรณ์ของฟีเจอร์
  • สัญญาอนุญาต MIT

บทความที่เกี่ยวข้อง

5 ความคิดเห็น

 
zeyakim 2025-05-09

มหาเทพ astral.. ทำได้อีกแล้วหรือครับ
 
youn17 2025-05-08

โอ้ นี่เป็นทางเลือกแทน mypy เหรอ? ดูเหมือนจะเป็นผลงานใหม่จาก Astral ที่ไว้ใจได้เลยนะ
 
brainer 2025-05-08

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

ที่นี่เป็นคนสร้างนี่เอง ยังไงก็ดีครับ
 
GN⁺ 2025-05-08
ความคิดเห็นบน Hacker News

  • :wave: ดูเหมือนว่ามีคนไปเจอรีโพซิทอรีที่ไม่ได้เป็นความลับเข้าแล้ว เรากำลังเตรียมการประกาศที่ใหญ่กว่านี้อยู่

    • ตอนนี้ซอฟต์แวร์ยังอยู่ในสถานะ pre-alpha และเวอร์ชันคือ 0.0.0a6
    • รีลีสที่ออกมาจนถึงตอนนี้มีไว้เพื่อตรวจสอบกระบวนการรีลีส
    • เราอยากปล่อยให้ผู้คนใช้งาน แต่ยังต้องทำงานอีกมากกว่าจะพร้อมสำหรับการใช้งานจริงในระดับ production
    • โปรดรอฟังข่าวเพิ่มเติมเร็ว ๆ นี้
    • (ฉันทำงานอยู่ที่ Astral)

  • ฉันได้โอนชื่อโปรเจกต์ "ty" บน pypi ให้ Astral แล้ว

    • หลายปีก่อนเคยคิดจะใช้มันแบบขำ ๆ แต่ชื่อโปรเจกต์สองตัวอักษรนี้มีประโยชน์ที่ดีกว่านั้น
    • พวกเขาตกลงจะบริจาคให้ PSF เพื่อเป็นการขอบคุณ

  • วิธีที่ type checker พวกนี้ทำให้เร็วขึ้น มักจะแลกมากับการไม่รองรับความซับซ้อนของโค้ด Python จริง ๆ

    • เหตุผลที่เราใช้ mypy ก็เพราะมันเป็น type checker ตัวเดียวที่มีปลั๊กอินสำหรับ Django
    • มันสามารถตรวจ type ของเมธอดที่ Django สร้างขึ้นตอนรันไทม์ได้อย่างถูกต้อง
    • อยากให้เครื่องมือ Python มากกว่านี้ใช้แนวทางแบบ TS ที่ว่า "สิ่งที่มีอยู่จริงในโลกภายนอกก็คือภาษานั่นเอง"

  • ผมลองเทียบเวลาเช็กบนโปรเจกต์ขนาดใหญ่แล้ว

    • mypy (ใช้แคช): 18 วินาที
    • ty: 0.5 วินาที (พบข้อผิดพลาด 3500 รายการ)
    • พวกเขาทำได้อีกแล้ว

  • ก่อนที่ Astral จะเข้ามา เครื่องมือของ Python นั้นแย่มากเมื่อเทียบกับ Java

    • Astral แทนที่ pip ที่แย่มากด้วย uv ที่ยอดเยี่ยม
    • แทนที่ linter แย่ ๆ หลายตัวด้วย ruff ที่ยอดเยี่ยม
    • ตอนนี้หวังว่าจะมาแทนที่ type checker แย่ ๆ (เช่น mypy) ด้วยของที่ดีกว่า
    • หวังว่าแบ็กเอนด์ของ pypi จะอยู่ในรายการที่พวกเขาจะจัดการด้วย อยากได้ Maven Central สำหรับ Python

  • ถ้าติดตั้ง uv ไว้แล้ว สามารถลองได้ด้วยคำสั่งนี้โดยไม่ต้องติดตั้งเพิ่ม

    • uvx ty check

  • น่าสนใจที่ Astral ออกมาพร้อม ๆ กับการเปิดตัวของ "Pyrefly, Python type checker ที่เร็วกว่า เขียนด้วย Rust" จาก Facebook

    • ไม่ได้จะพูดเชิงคุณค่าอะไร แต่ก็น่าสนใจที่ Rust ยังคงค่อย ๆ รุกคืบเข้ามาในโลกของเครื่องมือสำหรับ Python และ JS

  • ตื่นเต้นมากกับการมี Python language server ตัวใหม่ที่ฟีเจอร์ครบถ้วนและทำงานได้บน vscode กับฟอร์กของ vscode (เช่น Windsurf, Cursor)

    • Pylance มีปัญหากับดิสทริบิวชันแบบฟอร์กเหล่านี้
    • เป็นเรื่องดีที่มีทางเลือกใหม่ แทนที่จะต้องไปใช้ฟอร์กของ Pyright อีกตัวหนึ่ง (BasedPyright, Cursor Pyright, Windsurf Pyright, ...)

  • สงสัยว่าคนกลุ่มนี้หาวิธีทำเงินกันได้แล้วหรือยัง

  • จะรองรับ Django stubs ไหม? นี่เป็นอุปสรรคเดียวที่ทำให้บริษัทของเรายังย้ายไปไม่ได้