News for hackers. Stuff that matters.

A comment on Astral – "We're building a new static type checker for Python".

Re:Astral – "We're building a new static type checker for Py... by jasonpeacock on Wednesday January 29, 2025 @01:38PM (#42869208)
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

And the best answer/description of what the type checker will be:

https://github.com/astral-sh/ruff/discussions/15149

[ Parent | on HN ]
Re:Astral – "We're building a new static type checker for Py... by smpretzer on Wednesday January 29, 2025 @05:10PM (#42871887)
Another useful issue filter: https://github.com/astral-sh/ruff/milestone/20
[ Parent | on HN ]
Re:Astral – "We're building a new static type checker for Py... by SandmanDP on Wednesday January 29, 2025 @08:29PM (#42873734)
> apparently it's code named "red knot" (or "red_knot")

Missed opportunity to call it typy in my opinion

[ Parent | on HN ]
Re:Astral – "We're building a new static type checker for Py... by kalb_almas on Friday January 31, 2025 @07:11AM (#42886870)
Is anyone going to tell them how bad that name is? Especially considering their other project is called ruff...
[ Parent | on HN ]