panproto-expr 0.22.1

Pure functional expression language for panproto enriched theories
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

//! Benchmarks for expression evaluation.

use panproto_expr::{BuiltinOp, Env, EvalConfig, Expr, Literal, eval};

#[allow(clippy::cast_possible_wrap)]
fn make_sum_expr(n: usize) -> Expr {
    // fold([1..n], 0, λacc. λx. add(acc, x))
    let items: Vec<Expr> = (1..=n).map(|i| Expr::Lit(Literal::Int(i as i64))).collect();
    Expr::builtin(
        BuiltinOp::Fold,
        vec![
            Expr::List(items),
            Expr::Lit(Literal::Int(0)),
            Expr::lam(
                "acc",
                Expr::lam(
                    "x",
                    Expr::builtin(BuiltinOp::Add, vec![Expr::var("acc"), Expr::var("x")]),
                ),
            ),
        ],
    )
}

#[divan::bench(args = [10, 100, 1000])]
fn eval_fold_sum(bencher: divan::Bencher, n: usize) {
    let expr = make_sum_expr(n);
    let env = Env::new();
    let config = EvalConfig::default();
    bencher.bench(|| eval(&expr, &env, &config));
}

#[allow(clippy::cast_possible_wrap)]
fn make_map_expr(n: usize) -> Expr {
    let items: Vec<Expr> = (0..n).map(|i| Expr::Lit(Literal::Int(i as i64))).collect();
    Expr::builtin(
        BuiltinOp::Map,
        vec![
            Expr::List(items),
            Expr::lam(
                "x",
                Expr::builtin(
                    BuiltinOp::Mul,
                    vec![Expr::var("x"), Expr::Lit(Literal::Int(2))],
                ),
            ),
        ],
    )
}

#[divan::bench(args = [10, 100, 1000])]
fn eval_map(bencher: divan::Bencher, n: usize) {
    let expr = make_map_expr(n);
    let env = Env::new();
    let config = EvalConfig::default();
    bencher.bench(|| eval(&expr, &env, &config));
}

fn main() {
    divan::main();
}