source-academy / py-slang / 29009177278

78%

push

github

Add sourceacademy-sicp: Source Academy Python stdlib for CPython (python/) (#195)

* Add sourceacademy-sicp: the Source Academy Python stdlib for CPython

Moves the CPython `sicp` library (prototyped in the sicp book repo) into
py-slang under python/, next to the standard library it mirrors
(src/stdlib/), so the two don't drift. `from sicp import *` gives plain
CPython the Source Academy Python names (pair/head/tail/llist, math_*,
streams, is_number, ...), so CS1101S / SICP (Python edition) programs run
unchanged under CPython.

- python/sicp/: one submodule per py-slang stdlib group (misc, math,
  linked_list, pair_mutators, list, stream, mce)
- python/tests/: smoke tests (7 cases)
- CI: test matrix (3.10-3.13) on python/** changes; release-gated PyPI
  publish via trusted publishing (.github/workflows/python-package.yml)

The library targets the final SICPy vocabulary (is_integer, is_number,
llist, ...), so it pairs with the renaming in #193 and should land
alongside/after it.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* Potential fix for pull request finding 'CodeQL / Workflow does not contain permissions'

Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>

* Make sicp prelude iterative for CPython (no tail-call optimization)

CPython does not optimize tail calls, so the textbook-style recursive
prelude functions raise RecursionError on linked lists / streams of
~1000+ elements. Rewrite the flagged functions iteratively:

  linked_list: is_llist, length, map, build_llist, for_each, reverse,
               append, member, remove, remove_all, enum_llist,
               llist_ref, reduce, filter
  stream:      stream_to_llist, stream_length, stream_for_each,
               eval_stream, stream_ref

Also add nonnegative-input guards to build_llist, llist_ref, stream_ref
and eval_stream (a negative count would otherwise recurse forever), and
make arity() fail gracefully when a c... (continued)

2608 of 3650 branches covered (71.45%)

Branch coverage included in aggregate %.

6120 of 7627 relevant lines covered (80.24%)

14081.4 hits per line