Interactive λ-Reduction
Интерактивный визуализатор λ-редукции позволяет наблюдать нормализацию выражений λ-исчисления в реальном времени с поддержкой Δ-сетей (Δ-Nets, 2025). Инструмент демонстрирует стратегии редукции, такие как Lamping A/B, с уровнями контроля: абсолютные (по умолчанию), относительные; линейные (L), аффинные (A), релевантные (I), полные (K). Поддерживает отслеживание шагов (счётчик 0/0) и сравнение erasure vs sharing.
Примеры включают базовые (Starter, List Head), ненормализуемые (Ω, Y), комбинаторные (Two Squared Twice), а также Replicator Decay и Graph Coloring. Проект подчёркивает эволюцию λ-исчисления с 1936 года, фокусируясь на графовых представлениях и оптимизациях памяти через sharing. Доступен на GitHub для экспериментов.