Last released Oct 13, 2026
Python with an erasable structural type system powered by the adapted TypeScript checker