Please sign in to access this page

Lambda Calculus Interpreter - Rust

Lambda Calculus Interpreter - Rust

8 devlogs
25h 18m
•  Ship certified
Created by Shivam Maurya

Simple lambda calculus interpreter using rust, (with a web interface! to make it easier to use), I am trying to learn rust ;)

Timeline

created readme file, ready to ship

Update attachment

Ship 1

1 payout of shell 336.0 shells

Shivam Maurya

about 2 months ago

Shivam Maurya Covers 7 devlogs and 25h 3m

Bettering the frontend, adding some error handling and a lot of bug fixing later, a decent enough site is ready >_<
For now it is done, might come back to this later after a long break to add more things.

Update attachment

beta reduction working on the web interface and the website is deployed!!! check it out .^

  • first tried making the web interface using rocket failed miserably >-<, switched to compiling to wasm.
  • added function to represent the syntax tree in json format for js.
  • added a simple web interface that parses and displays the tree corresponding to a code using amcharts for now.
Update attachment

Beta reduction working =D

Update attachment

finally correctly parsing basic syntax till trees >_<

Update attachment

automatic parenthesis :D

Update attachment
HQ2000 HQ2000 about 2 months ago
GL with learning Rust! I nearly finished the Rust Book, I really liked it, I had, like never before, a really strong feeling that some people really put thoughts into everything. Also, it doesn’t suffer from some past debt (like the null-mistake) as some other languages. It also mostly takes slightly different approaches to some common concepts like async, but in a good way, as well as some other nice things like zero-cost abstractions i.e. with .iter(). So, if you really want to learn it, I hope you don’t regret this decision in some years and maybe have same feeling :-)

Implemented basic structs and display functions for expressions, functions, tokens etc.
Parsed text from file into tokens stuck on forming a syntax tree from the tokens ;(

Update attachment