Danny Yang
Danny Yang
### Describe the Bug https://docs.pydantic.dev/2.3/api/types/#pydantic.types.PositiveInt There's no dependent types in Python, so I'm not sure how to avoid promoting it to `int` whenever we try to do something w/ it...
### Describe the Bug Repro: 1. In the root of your project, run clone typeshed `git clone https://github.com/python/typeshed.git` 2. Make a pyrefly.toml with the following contents `typeshed-path="./typeshed"` 3. Make a...
Hi, I'm following up from [this post](https://discuss.python.org/t/call-for-suggestions-nominate-python-packages-for-typing-improvements/) in the Python Typing forum, where this project was mentioned as a potential area that could benefit from typing investments. I'm curious to...
This library only supports v3.7+, so we can use regular type annotations instead of type comments. There are a few places that use the comment mostly because type comments do...
Summary: Required in D85438479, which contains a handwritten Cargo.toml (fbcode/pyrefly/pyrefly_wasm/Cargo.toml) that gets incorporated into an Autocargo-generated Cargo.lock (fbcode/pyrefly/Cargo.lock). In order for the handwritten Cargo.toml to be able to use uuid...
I often jump back and forth between different typechecker playgrounds as I try to compare their behaviors. It would be nice to see them all on one screen and not...
Some of the newer Rust-based typecheckers can compile WASM and run directly in the browser. This makes their playgrounds really fast and snappy: - https://pyrefly.org/try/ - https://playknot.ruff.rs/ I wonder if...