M.V. Hutz
9c7fb8ceba
## Description The codebase previously used "interpreter" terminology and standalone functions for expression operations. This PR modernizes the architecture by renaming to "runtime" and converting operations to receiver methods. - Rename `pkg/interpreter` to `pkg/runtime`. - Move `ReduceOnce` to new `pkg/normalorder` package for reduction strategy isolation. - Convert standalone functions (`Substitute`, `Rename`, `GetFree`, `IsFree`) to receiver methods on concrete expression types. - Change `Set` from pointer receivers to value receivers for simpler usage. - Update all references from "interpreter" to "runtime" terminology throughout the codebase. ### Decisions - Operations like `Substitute`, `Rename`, `GetFree`, and `IsFree` are now methods on the `Expression` interface, implemented by each concrete type (`Variable`, `Abstraction`, `Application`). - The `normalorder` package isolates the normal-order reduction strategy, allowing future reduction strategies to be added in separate packages. - `Set` uses value receivers since Go maps are reference types and don't require pointer semantics. ## Benefits - Cleaner API: `expr.Substitute(target, replacement)` instead of `Substitute(expr, target, replacement)`. - Better separation of concerns: reduction strategies are isolated from expression types. - Consistent terminology: "runtime" better reflects the execution model. - Simpler `Set` usage without needing to manage pointers. ## Checklist - [x] Code follows conventional commit format. - [x] Branch follows naming convention (`<type>/<description>`). Always use underscores. - [x] Tests pass (if applicable). - [x] Documentation updated (if applicable). Reviewed-on: #39 Co-authored-by: M.V. Hutz <git@maximhutz.me> Co-committed-by: M.V. Hutz <git@maximhutz.me>
59 lines
909 B
Markdown
59 lines
909 B
Markdown
---
|
|
name: "Bug Report"
|
|
about: "Report a bug or unexpected behavior in the lambda runtime."
|
|
title: "fix: "
|
|
ref: "main"
|
|
assignees: []
|
|
labels:
|
|
- bug
|
|
---
|
|
|
|
## Context
|
|
|
|
<!--
|
|
Describe what you were trying to do when you encountered the bug.
|
|
Explain what you expected to happen.
|
|
-->
|
|
|
|
## Current Behavior
|
|
|
|
<!--
|
|
Describe what actually happened.
|
|
Be specific about the incorrect behavior or error.
|
|
-->
|
|
|
|
## Steps to Reproduce
|
|
|
|
<!--
|
|
Provide step-by-step instructions to reproduce the issue.
|
|
Include any relevant code, commands, or input.
|
|
-->
|
|
|
|
1.
|
|
2.
|
|
3.
|
|
|
|
## Expected Behavior
|
|
|
|
<!--
|
|
Describe what should happen instead.
|
|
-->
|
|
|
|
## Environment
|
|
|
|
<!--
|
|
Provide relevant information about your environment.
|
|
-->
|
|
|
|
- Lambda version:
|
|
- Go version:
|
|
- Operating system:
|
|
|
|
## Additional Context
|
|
|
|
<!--
|
|
Add any other context about the problem.
|
|
Include error messages, logs, or screenshots if applicable.
|
|
If none exist, omit this section.
|
|
-->
|