mvhutz/lambda
1
0
Fork 0
Code Issues 3 Pull Requests Actions Packages Projects Releases Wiki Activity
84 Commits 4 Branches 0 Tags
f31de50abcfbbf70ed3095a3bc20b9a070cfabef
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
M.V. Hutz f31de50abc fix: use loop variable instead of global ticker in GenerateFreshName 
The function used a global `ticker` variable but never incremented it
inside the loop, causing an infinite loop if the first generated name
was already in the used set.

This fix removes the global state and uses the loop variable `i`
directly, which is cleaner and avoids the bug.
2026-01-18 15:57:28 -05:00
.gitea
refactor: rename interpreter to runtime and use receiver methods (#39)
2026-01-18 20:52:34 +00:00
cmd/lambda
refactor: rename interpreter to runtime and use receiver methods (#39)
2026-01-18 20:52:34 +00:00
docs
feat: progress
2026-01-10 11:37:18 -05:00
internal
refactor: rename interpreter to runtime and use receiver methods (#39)
2026-01-18 20:52:34 +00:00
pkg
fix: use loop variable instead of global ticker in GenerateFreshName
2026-01-18 15:57:28 -05:00
tests
refactor: make lambda expression types immutable (#38)
2026-01-17 22:00:54 +00:00
.gitignore
feat: improve reduction algorithm with LIFO-based iterator (#15)
2026-01-12 02:16:07 +00:00
.golangci.yml
feat: tokenizer accepts braces, line terminator, and equal sign
2025-12-27 19:52:18 -05:00
CLAUDE.md
refactor: move event system to reducer, remove engine package (#32)
2026-01-17 00:27:36 +00:00
go.mod
Improve testing infrastructure with dynamic discovery and validation (#20)
2026-01-13 01:20:47 +00:00
go.sum
Improve testing infrastructure with dynamic discovery and validation (#20)
2026-01-13 01:20:47 +00:00
LICENSE
refactor: rename interpreter to runtime and use receiver methods (#39)
2026-01-18 20:52:34 +00:00
Makefile
refactor: rename interpreter to runtime and use receiver methods (#39)
2026-01-18 20:52:34 +00:00
README.md
refactor: rename interpreter to runtime and use receiver methods (#39)
2026-01-18 20:52:34 +00:00

README.md

lambda

Making a lambda calculus runtime in Go.

Things to talk about

  • Exhaustive sum types.
  • Recursive descent and left-recursion.
  • Observer pattern, event emission.

Links

https://zicklag.katharos.group/blog/interaction-nets-combinators-calculus/ https://arxiv.org/pdf/2505.20314

Reference in New Issue View Git Blame Copy Permalink
Description
Making a lambda calculus interpreter in Go.
Readme AGPL-3.0 863 KiB
Languages
Go 96.6%
Makefile 3.4%