source-academy / py-slang / 42552220007

88%

push

github

docs: Python §4 Typed plan: the types of modules are described once, for every typed language (#637)

* docs: Typed Python §4 plan: phase 4 describes the types of modules once, for every typed language

Modules are language-agnostic, so a stub file for each module in each typed language (modules ×
languages, drifting from the modules) is not the way. Phase 4 is now: a language-neutral description
of each module's exports and their types, in the modules repository (source-academy/modules#996);
a mapper in py-slang from a description to a Python stub, made at check time for the modules that a
program imports; and hand-written stubs for a few modules until descriptions exist.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* docs: Typed Python §4 plan: how the module descriptions stay backward compatible

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* docs: Typed Python §4 plan: the decisions of modules#996, the numbers, and the release order

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>

7469 of 8949 branches covered (83.46%)

Branch coverage included in aggregate %.

15482 of 17139 relevant lines covered (90.33%)

302295.9 hits per line