3 ms·
It's hard to find details...apparently it's code named "red knot" (or "red_knot"). Here's the github issues filter linked in the screenshot: https://github.co
by jasonpeacock 2y ago
It's hard to find details...apparently it's code named "red knot" (or "red_knot").
Here's the github issues filter linked in the screenshot:
https://github.com/astral-sh/ruff/labels/red-knot https://github.com/astral-sh/ruff/labels/red-knot
And the best answer/description of what the type checker will be:
https://github.com/astral-sh/ruff/discussions/15149 https://github.com/astral-sh/ruff/discussions/15149
- smpretzer 2y agoAnother useful issue filter: https://github.com/astral-sh/ruff/milestone/20 https://github.com/astral-sh/ruff/milestone/20
- SandmanDP 2y ago> apparently it's code named "red knot" (or "red_knot") Missed opportunity to call it typy in my opinion
- kalb_almas 2y agoIs anyone going to tell them how bad that name is? Especially considering their other project is called ruff...