Ty - Pemeriksa Tipe Python dan Server Bahasa yang Cepat

• ty adalah pemeriksa tipe Python dan server bahasa yang sangat cepat, ditulis dalam Rust
• Saat ini masih berupa perangkat lunak prarilis, sehingga belum siap digunakan di produksi
• Dikembangkan di repositori Ruff, linter Python supercepat dari Astral, dengan tujuan mencapai stabilitas dan kelengkapan fitur
• Lisensi MIT

[zeyakim]

Sang astral yang agung.. berhasil lagi ya?

[youn17]

Oh, apakah ini alternatif untuk mypy? Kelihatannya ini karya baru Astral yang layak dipercaya.

[brainer]

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

Ternyata dibuat oleh mereka. Bagaimanapun, ini bagus.

[xguru]

Ruff - linter Python 10-100x lebih cepat
Astral - perusahaan yang membuat alat pengembangan Python generasi berikutnya

[GN⁺]

Komentar Hacker News

• :wave: Sepertinya saya menemukan repositori yang tidak lagi rahasia. Kami sedang menyiapkan pengumuman yang lebih besar.

  • Perangkat lunak saat ini masih dalam tahap pre-alpha, dan versinya adalah 0.0.0a6.
  • Rilis sejauh ini dimaksudkan untuk memverifikasi proses rilis.
  • Kami ingin memberikannya kepada orang-orang, tetapi masih banyak pekerjaan yang diperlukan sebelum siap untuk produksi.
  • Harap nantikan lebih banyak kabar segera.
  • (Saya bekerja di Astral)

• Saya telah menyerahkan nama proyek "ty" di pypi kepada Astral.

  • Beberapa tahun lalu saya sempat ingin memakainya sebagai lelucon, tetapi nama proyek dua huruf ini punya kegunaan yang lebih baik.
  • Mereka setuju untuk berdonasi ke PSF sebagai tanda terima kasih.

• Cara type checker seperti ini menjadi cepat biasanya tidak mendukung kenyataan rumit dari kode Python nyata.

  • Alasan kami memakai mypy adalah karena itu satu-satunya type checker dengan plugin untuk Django.
  • Ia bisa melakukan type check dengan benar pada method yang dibuat saat runtime oleh Django.
  • Saya berharap lebih banyak alat Python mengambil pendekatan TS bahwa "apa yang ada di alam liar adalah bahasanya".

• Saya membandingkan waktu pengecekan pada proyek besar.

  • mypy (menggunakan cache): 18 detik
  • ty: 0,5 detik (menemukan 3500 error)
  • Mereka berhasil lagi.

• Sebelum Astral muncul, tooling Python sangat buruk dibandingkan Java.

  • Astral menggantikan pip yang mengerikan dengan uv yang fantastis.
  • Mereka menggantikan berbagai linter mengerikan dengan ruff yang fantastis.
  • Sekarang saya berharap mereka mengganti type checker yang buruk (misalnya mypy) dengan yang bagus.
  • Saya juga berharap backend pypi ada dalam daftar mereka. Saya ingin Maven Central di Python.

• Jika uv sudah terpasang, Anda bisa mengujinya tanpa instalasi dengan perintah berikut.

  • uvx ty check

• Menarik bahwa Astral muncul bersamaan dengan peluncuran "Pyrefly, Python type checker yang lebih cepat dan ditulis dalam Rust" dari Facebook.

  • Ini bukan pernyataan etis, tetapi menarik melihat Rust terus menggerus dunia alat Python dan JS.

• Saya sangat menantikan language server Python baru yang lengkap fiturnya dan bekerja di vscode serta fork vscode (misalnya Windsurf, Cursor).

  • Pylance bermasalah di distribusi hasil fork ini.
  • Bagus bahwa ada alternatif baru tanpa harus mengadopsi implementasi Pyright hasil fork lainnya (BasedPyright, Cursor Pyright, Windsurf Pyright, ...).

• Saya penasaran apakah orang-orang ini sudah menemukan cara menghasilkan uang.

• Apakah akan mendukung stub Django? Itu satu-satunya hambatan bagi perusahaan kami untuk beralih.