This is a casual look at a WIP piece of software that I know nothing about - don't draw too many conclusions from this. Astral is doing The Lord's work with python tooling. Ruff is a joy to use for both formatting and linting. And the newer uv has breathed fresh …

Master Yoda

Community Picks is a section on daily.dev where our community members share the most interesting and valuable content they've discovered online. From insightful articles to handy tools, every post is a gem curated by our dedicated coomunity. To contribute to Community Picks, you need to have at least 250 reputation points, ensuring that only active and trusted members can share their finds.

Community Picks

Astral's Red Knot is an in-development fast Python type checker, part of the Ruff toolset. The post discusses how to compile and run Red Knot from the Ruff codebase using Rust. Initial tests on small and large codebases show substantial speed but highlight that Red Knot is still a work in progress with several features and integrations yet to be implemented.

A Very (!) Early Play With Astral's Red Knot Static Type Checker

<p>Astral’s Red Knot is an exciting new static type checker for Python, built from scratch in Rust. It’s part of the Ruff toolset and aims to deliver high performance and incremental analysis, making it suitable for large-scale projects. While still in development, early tests show promising speed, though some features and integrations are yet to be implemented Early Play With Astral’s Red Knot Static Type Checker | daily.dev](<a href="https://app.daily.dev/posts/WNHCUF0lx" target="_blank" rel="noopener nofollow">https://app.daily.dev/posts/WNHCUF0lx</a>).</p>
<p>Are you exploring this tool for your own projects, or just curious about its potential? 🚀</p>
