Zydeco is a proof-of-concept programming language based on Call-by-push-value.
Create a file hello-world.zydeco
:
main
do~ ! write_line "hello, world!";
! exit 0
end
Then run
$ cargo run -- run hello-world.zydeco
hello, world!
Alternatively, run
cargo build --release
to build the executable which will be stored at target/release/zydeco
.
Then run
$ ./target/release/zydeco run hello-world.zydeco
hello, world!
Run zydeco --help
for further usage information.
We now have a toy "literate zydeco" written in zydeco! Try it out by running
cd docs/spell && make build
and the product will show up right in the folder - which is also a series of guide to programming in zydeco.
A legacy version of the tutorial lies here.
With system-F_Ο and type alias shipped in, we'll update the tutorial shortly the tutorial is briefly updated.
If the previous spell
guide goes too fast, then the short tutorial might be easier to understand.
We will develop more introductory material on zydeco when we have
implemented more features. For now, you can also choose to browse lang/lib/
for
some example programs.
To run all tests
cargo test --all
.
βββ Cargo.toml
βββ lang
β βββ derive
β βββ driver
β βββ dynamics
β βββ lib
β βββ src
β βββ statics
β βββ surface
β βββ syntax
β βββ tests
β βββ utils
βββ cli
βββ web
βββ ...
lang/
: the library implementing the parser, type checker and
interpreter for the Zydeco language.lang/lib/
: standard library and example code (also serving as test cases)lang/tests/
: legacy test cases and example codecli/
Command-line interfaceweb/
Web interfaceZydeco is based on the Call-by-push-value calculus introduced by Paul Blain Levy: https://dl.acm.org/doi/10.1145/3537668.3537670