Bring Prelude into Rust #13

New Issue

scott · 2024-12-08T06:39:43Z

scott commented

2024-12-08 06:39:43 +00:00

Prelude should be parsable and runnable with the Rust interpreter. This will likely require changes in Prelude itself, but not so many. Use rust-embed to embed Prelude in Rust.

pkg -> dict
fix any errors
Ludus dict -> context vector
test things?

Prelude should be parsable and runnable with the Rust interpreter. This will likely require changes in Prelude itself, but not so many. Use `rust-embed` to embed Prelude in Rust. * [x] pkg -> dict * [x] fix any errors * [x] Ludus dict -> context vector * [ ] test things?

scott added the

core

label 2024-12-08 06:39:48 +00:00

scott commented

2024-12-09 04:37:11 +00:00

Currently getting unbound name base when running functions that rely on base (which is to say, just about every function in Prelude). But apparently at least some of this is working...?

Currently getting `unbound name base` when running functions that rely on `base` (which is to say, just about every function in Prelude). But apparently at least some of this is working...?

scott referenced this issue

2024-12-09 23:15:22 +00:00

Functions should properly close over bindings #16

scott added a new dependency 2024-12-11 05:32:22 +00:00

#16 Functions should properly close over bindings

scott added a new dependency 2024-12-11 05:32:55 +00:00

#19 Validator should validate recursive functions

scott added this to the Core: CC2 milestone 2024-12-11 05:36:14 +00:00

scott referenced this issue

2024-12-12 00:18:29 +00:00

Functions should properly close over bindings #16

scott commented

2024-12-13 00:42:21 +00:00

Fixed a few errors, and it's looking like at least we parse and validate prelude reasonably correctly.

Next step: start testing against the Prelude. Found one bug already.

Fixed a few errors, and it's looking like at least we parse and validate prelude reasonably correctly. Next step: start testing against the Prelude. Found one bug already.

scott added a new dependency 2024-12-13 00:44:57 +00:00

#15 Partial function application should work.

scott commented

2024-12-13 00:45:21 +00:00

Partial function application is indeed in Prelude, so adding #15 as a dependency.