logo

EO principles respected here We recommend IntelliJ IDEA

cargo crates.io PDD status Hits-of-Code Lines of code License

It's an experimental emulator of a processor that understands 𝜑-calculus expressions, which is the formalism behind EO programming language.

To build it, install Rust and then:

bash $ cargo build --release

If everything goes well, an executable binary will be in target/release/fibonacci:

bash $ target/release/fibonacci 7 40

This will calculate the 7th Fibonacci number 40 times. Don't try to play with much larger numbers, this binary code is very slow. It's just an experiment.

To compile your own program instead of this primitive recursive Fibonacci calculator, you have to convert EO code into 𝜑-calculus expressions and then pass them to Emu struct like this:

rust use phie::emu::Emu; pub fn main() { let emu: Emu = " ν0 ↦ ⟦ 𝜑 ↦ ν3 ⟧ ν1 ↦ ⟦ Δ ↦ 0x002A ⟧ ν2 ↦ ⟦ λ ↦ int-add, ρ ↦ 𝜋.𝛼0, 𝛼0 ↦ 𝜋.𝛼1 ⟧ ν3 ↦ ⟦ 𝜑 ↦ ν2(ξ), 𝛼0 ↦ ν1, 𝛼1 ↦ ν1 ⟧ ν5 ↦ ⟦ 𝜑 ↦ ν3(ξ) ⟧ ".parse().unwrap(); let dtz = emu.dataize(); print!("The result is: {}", dtz.0); }

This code is equivalent to the following EO code:

text [] > foo 42 > x x.add x > @

But in a more "functional" way:

text [] > foo 42 > x int-add > @ x x

More tests are in src/emu.rs file.

Run and fix Clippy lints issues before committing changes:

  1. Install Rustup. If Rustup was already installed, update to ensure have the latest Rustup and compiler.

bash $ rustup update

  1. Install Clippy.

bash $ rustup component add clippy

  1. Run Clippy.

bash $ cargo clippy

  1. Automatically applying Clippy suggestions (Not all issues will be fixed automatically. Also, Clippy has some bugs with false-positive cases for some lints, so better to check automaticall fixes as well).

bash $ cargo clippy --fix