Lambda Calculus Interpreter - Rust
Simple lambda calculus interpreter using rust, (with a web interface! to make it easier to use), I am trying to learn rust ;)
Followers
JacobL
Check their project out: FIXAPL
qihang
Check their project out: PDF Parser
xCuzImVInni
Check their projects out: GeoSolver, GeoPrimes - Geometric Interpretation of Prime Factorization of Numbers, PrimeVector - new fast algorithm for GCD and LCM
Pookstir
Check their projects out: Wolf Interpreter, Mycor, Surface Circuits
Moaz Mohamed
Whoops! Looks like they don't have a project yet. Maybe ask them to start one?
Ship Your Project
Get ready!
Once you ship this you can't edit the description of the project, but you'll be able to add more devlogs and re-ship it as you add new features!
Timeline
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.
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.
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 ;(
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 :-)