💭 Playground | Red Knot

!https://types.ruff.rs/

Playground | ty
An in-browser playground for ty, an extremely fast Python type-checker written in Rust.
types.ruff.rs

ty, has a playground running at types.ruff.rs. You can edit code in there and see what the type checker results would be in browser. This looks good, excited to see it running in my lsp.

Here is an example where a Optional may not be defined.

image

Checking for existance before using it resolves the issue.

image

Note

This post is a thought. It’s a short note that I make about someone else’s content online #thoughts

Connections

Related tags and posts connected to this entry.