#Typechecker hashtag - Bluesky

@naoyacreates.bsky.social

3 months ago

Ty: 60x Faster Python Type Checker for Enterprise | AI News --- Ty beta slashes Python type checking from minutes to seconds. Boost enterprise dev speed & ROI. Learn how. ---

AIMindUpdate News!
Tired of 30-minute Python type checks? Ty beta delivers 10-60x faster performance, drastically cutting dev time & boosting enterprise ROI.

---#PythonDev #TypeChecker #RustLang

---

Click here↓↓↓
aimindupdate.com/ty-python-ty...

1 0 0 0

Veit Schiele

@veit-schiele.de

3 months ago

ty: An extremely fast Python type checker and language server ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to mypy, Pyright, and Pylance.

With ty, Astral has released a fast Python type checker and language server (LSP): astral.sh/blog/ty
It can also be easily integrated into Visual Studio Code and other editors:
marketplace.visualstudio.com/items?itemNa...
docs.astral.sh/ty/reference...
#Python #Typechecker #LSP #Code

2 0 0 0

Snapp iOS Weekly

@snappiosweekly.bsky.social

4 months ago

⚡ 𝑅𝑜𝑎𝑑𝑚𝑎𝑝 𝑓𝑜𝑟 𝑖𝑚𝑝𝑟𝑜𝑣𝑖𝑛𝑔 𝑡ℎ𝑒 𝑡𝑦𝑝𝑒 𝑐ℎ𝑒𝑐𝑘𝑒𝑟 by Slava Pestov

Swift's tackling the "compiler unable to type-check this expression" errors with exponential performance gains on complex type checking. A roadmap worth following.

#Swift #TypeChecker

forums.swift.org/t/roadmap-fo...