Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

risp-yaml:0.1.0 #2

Merged
merged 16 commits into from
Feb 24, 2021
Merged

risp-yaml:0.1.0 #2

merged 16 commits into from
Feb 24, 2021

Conversation

colltoaction
Copy link
Member

@colltoaction colltoaction commented Feb 7, 2021

I decided to go with risp for now. a risp-yaml library is a great proof of concept for YAML as a lispy language.

Original below.


this was blatantly copy-and-pasted from https://christianpoveda.github.io/blog/untyped-lambda-calculus/

CC @christianpoveda


$ git clone https://github.com/colltoaction/yaml.yaml.git
$ cd yaml.yaml/interpreter.rust
$ cargo run -q
Original term: ((λx. (y x)) z)
After reduction: (y z)

@colltoaction
Copy link
Member Author

I don't think the last pushed example is working properly:

$ cargo run -q
Original term: ((λa. (λb. a)) b)
After reduction: (λb. a)

Isn't it (λb. b) because a is replaced by b?

@colltoaction colltoaction linked an issue Feb 8, 2021 that may be closed by this pull request
@colltoaction colltoaction changed the title simple binding from YAML to a Lambda Calculus implementation in Rust yaml-risp v1 Feb 24, 2021
@colltoaction colltoaction changed the title yaml-risp v1 risp-yaml v1 Feb 24, 2021
@colltoaction colltoaction changed the title risp-yaml v1 risp-yaml:0.1.0 Feb 24, 2021
Copy link
Member Author

@colltoaction colltoaction left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Finally implemented using @shybyte's risp

@colltoaction colltoaction merged commit 3540856 into main Feb 24, 2021
@colltoaction colltoaction deleted the interpreter-rust branch February 24, 2021 20:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Write an interpreter
1 participant