Ty - Hızlı Python tip denetleyicisi ve dil sunucusu

 (github.com/astral-sh)
13 puan yazan GN⁺ 2025-05-08 | 5 yorum | WhatsApp'ta paylaş
  • ty, Rust ile yazılmış çok hızlı bir Python tip denetleyicisi ve dil sunucusudur
  • Şimdilik ön sürüm yazılımı ve prodüksiyonda kullanılmaya hazır değil
  • Geliştirme, Astral'ın ultra hızlı Python linter'ı Ruff deposunda sürüyor ve hedef kararlılık ile özellik tamlığı
  • MIT lisansı

İlgili okumalar

5 yorum

 
zeyakim 2025-05-09

Büyük astral... yine başardınız mı..
 
youn17 2025-05-08

Oho, mypy'ye bir alternatif mi? Güvenerek kullanılan Astral'dan yeni bir çalışma gibi görünüyor.
 
brainer 2025-05-08

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

Burada geliştiren yer. Her neyse, güzel.
 
GN⁺ 2025-05-08
Hacker News yorumu

  • :wave: Gizli olmayan depoyu bulmuş gibisiniz. Daha büyük bir duyuru hazırlıyoruz.

    • Yazılım şu anda pre-alpha aşamasında ve sürüm 0.0.0a6.
    • Şimdiye kadarki sürümler, sürüm sürecini doğrulamak içindi.
    • İnsanlara sunmak istiyoruz, ancak üretime hazır olması için hâlâ çok iş gerekiyor.
    • Yakında daha fazla haber bekleyin.
    • (Astral'da çalışıyorum)

  • ty proje adını PyPI'da Astral'a devrettim.

    • Birkaç yıl önce şaka olarak kullanmayı düşünmüştüm, ama iki harfli bir proje adı için daha iyi bir kullanım bu.
    • Onlar da teşekkür göstergesi olarak PSF'ye bağış yapmayı kabul etti.

  • Bu tür type checker'ların hızlanma yöntemi genelde gerçek Python kodunun karmaşık gerçeklerini desteklemiyor.

    • mypy kullanmamızın nedeni, Django için eklentisi olan tek type checker olması.
    • Django'nun çalışma zamanında üretilen metotlarını düzgün şekilde type check edebiliyor.
    • Keşke daha fazla Python aracı, TS'nin "vahşi doğada olan şey dilin kendisidir" yaklaşımını benimsese.

  • Büyük bir projede kontrol sürelerini karşılaştırdım.

    • mypy (önbellekli): 18 saniye
    • ty: 0.5 saniye (3500 hata bulundu)
    • Yine yaptılar.

  • Astral ortaya çıkmadan önce Python araçları, Java'ya kıyasla gerçekten çok kötüydü.

    • Astral, korkunç pip'in yerine harika uv'yi getirdi.
    • Çeşitli korkunç linter'ların yerine harika ruff'ı getirdi.
    • Şimdi de korkunç type checker'ların (mypy gibi) yerine iyi bir şey gelmesini umuyorum.
    • Umarım PyPI backend'i de listelerindedir. Python'da Maven Central benzeri bir şey istiyorum.

  • uv kuruluysa, kurulum yapmadan şu komutla deneyebilirsiniz.

    • uvx ty check

  • Astral'ın, Facebook'un "Pyrefly, Rust ile yazılmış daha hızlı bir Python type checker" duyurusuyla aynı zamana denk gelmesi ilginç.

    • Etik bir çıkarım yapmak için söylemiyorum, ama Rust'ın Python ve JS araçları dünyasına giderek daha fazla nüfuz etmesi ilginç.

  • vscode ve vscode fork'larında (ör. Windsurf, Cursor) çalışan yeni ve tam özellikli bir Python language server için gerçekten heyecanlıyım.

    • Pylance'ın bu fork dağıtımlarda sorunları var.
    • Bir başka fork Pyright implementasyonunu (BasedPyright, Cursor Pyright, Windsurf Pyright, ...) benimsemek yerine yeni bir alternatif olması güzel.

  • Bu insanların nasıl para kazanacağını çözüp çözmediğini merak ediyorum.

  • Django stub desteği olacak mı? Şirketimizin geçiş yapmasının önündeki tek engel bu.