https://github.com/namin/pink

Collapsing Towers of Interpreters (in Scheme)
https://github.com/namin/pink

collapsing-towers generative-programming metaprogramming scheme towers

Last synced: about 1 month ago
JSON representation

Collapsing Towers of Interpreters (in Scheme)

• Host: GitHub
• URL: https://github.com/namin/pink
• Owner: namin
• Created: 2017-07-20T20:16:17.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-08-22T19:22:08.000Z (over 6 years ago)
• Last Synced: 2024-12-24T02:50:03.809Z (about 1 month ago)
• Topics: collapsing-towers, generative-programming, metaprogramming, scheme, towers
• Language: Scheme
• Homepage:
• Size: 17.6 KB
• Stars: 56
• Watchers: 7
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-racket-and-scheme - pink

README

        
# Pink in Scheme (Collapsing Towers of Interpreters)

## Code

* __[`base.scm`](base.scm)__ defines the multi-level core language λ↑↓ as a definitional interpreter in Scheme.

* __[`pink.scm`](pink.scm)__ defines the meta-circular stage-parametric interpreter for Pink on top of the base.

* __[`matcher.scm`](matcher.scm)__ defines a matcher as an example on top of Pink.

* __[`mk.scm`](mk.scm)__ defines a µKanren as an example on top of Pink.

## Run

Each code file `.scm` above has a companion `-tests.scm`, which can be run with [Chez Scheme](https://cisco.github.io/ChezScheme/).

For example, `chez pink-tests.scm` runs all the Pink-related tests.

## See Also

* [Pink in Scala](http://popl18.namin.net)