33 lines
745 B
Go
33 lines
745 B
Go
// Package "engine" provides an extensible interface for users to interfact with
|
|
// λ-calculus.
|
|
package engine
|
|
|
|
import (
|
|
"git.maximhutz.com/max/lambda/internal/config"
|
|
"git.maximhutz.com/max/lambda/pkg/emitter"
|
|
"git.maximhutz.com/max/lambda/pkg/lambda"
|
|
)
|
|
|
|
// A process for reducing one λ-expression.
|
|
type Engine struct {
|
|
Config *config.Config
|
|
Expression *lambda.Expression
|
|
emitter.Emitter
|
|
}
|
|
|
|
// Create a new engine, given an unreduced λ-expression.
|
|
func New(config *config.Config, expression *lambda.Expression) *Engine {
|
|
return &Engine{Config: config, Expression: expression}
|
|
}
|
|
|
|
// Begin the reduction process.
|
|
func (e Engine) Run() {
|
|
e.Emit("start")
|
|
|
|
for lambda.ReduceOnce(e.Expression) {
|
|
e.Emit("step")
|
|
}
|
|
|
|
e.Emit("end")
|
|
}
|