sim-nest 0.1.5

The SIM constellation umbrella facade: one crate that re-exports the runtime kernel, codecs, number domains, and libraries behind features.
Documentation
#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
use std::sync::Arc;

#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
use sim_kernel::{Args, Error, Expr, NumberLiteral, QuoteMode, Symbol};

#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
use sim_lib_numbers_func::Func;

#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
use super::support::eval_cx;

#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
fn number(text: &str) -> Expr {
    Expr::Number(NumberLiteral {
        domain: Symbol::qualified("numbers", "i64"),
        canonical: text.to_owned(),
    })
}

#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
fn quoted(name: &str) -> Expr {
    Expr::Quote {
        mode: QuoteMode::Quote,
        expr: Box::new(Expr::Symbol(Symbol::new(name))),
    }
}

#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
#[test]
fn call_surface_invokes_func_values() {
    let mut cx = eval_cx();
    let out = cx
        .eval_expr(Expr::Call {
            operator: Box::new(Expr::Symbol(Symbol::new("call"))),
            args: vec![
                Expr::Call {
                    operator: Box::new(Expr::Symbol(Symbol::new("fn"))),
                    args: vec![
                        Expr::List(vec![
                            Expr::Symbol(Symbol::new("x")),
                            Expr::Symbol(Symbol::new("y")),
                        ]),
                        Expr::Call {
                            operator: Box::new(Expr::Symbol(Symbol::new("+"))),
                            args: vec![
                                Expr::Symbol(Symbol::new("x")),
                                Expr::Symbol(Symbol::new("y")),
                            ],
                        },
                    ],
                },
                number("2"),
                number("3"),
            ],
        })
        .unwrap();
    assert_eq!(out.object().as_expr(&mut cx).unwrap(), number("5"));
}

#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
#[test]
fn diff_returns_callable_func_value() {
    let mut cx = eval_cx();
    let out = cx
        .eval_expr(Expr::Call {
            operator: Box::new(Expr::Call {
                operator: Box::new(Expr::Symbol(Symbol::new("diff"))),
                args: vec![
                    Expr::Call {
                        operator: Box::new(Expr::Symbol(Symbol::new("fn"))),
                        args: vec![
                            Expr::List(vec![Expr::Symbol(Symbol::new("x"))]),
                            Expr::Call {
                                operator: Box::new(Expr::Symbol(Symbol::new("*"))),
                                args: vec![quoted("x"), quoted("x")],
                            },
                        ],
                    },
                    quoted("x"),
                ],
            }),
            args: vec![number("3")],
        })
        .unwrap();
    assert_eq!(out.object().as_expr(&mut cx).unwrap(), number("6"));
}

#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
#[test]
fn arithmetic_on_funcs_produces_callable_values() {
    let mut cx = eval_cx();
    let func = cx
        .eval_expr(Expr::Call {
            operator: Box::new(Expr::Symbol(Symbol::new("fn"))),
            args: vec![
                Expr::List(vec![Expr::Symbol(Symbol::new("x"))]),
                Expr::Symbol(Symbol::new("x")),
            ],
        })
        .unwrap();
    let plus = cx
        .call_function(
            &Symbol::new("+"),
            Args::new(vec![
                func,
                cx.factory()
                    .number_literal(Symbol::qualified("numbers", "i64"), "1".to_owned())
                    .unwrap(),
            ]),
        )
        .unwrap();
    let out = cx
        .call_value(
            plus,
            Args::new(vec![
                cx.factory()
                    .number_literal(Symbol::qualified("numbers", "i64"), "4".to_owned())
                    .unwrap(),
            ]),
        )
        .unwrap();
    assert_eq!(out.object().as_expr(&mut cx).unwrap(), number("5"));
}

#[cfg(all(
    feature = "numbers-func",
    feature = "numbers-i64",
    feature = "numbers-cas-diff",
    feature = "numbers-cas-eval"
))]
#[test]
fn native_only_funcs_report_not_differentiable() {
    let mut cx = eval_cx();
    let native = cx
        .factory()
        .opaque(Arc::new(Func::native(
            vec![Symbol::new("x")],
            Arc::new(|cx, args| {
                let [value] = args else {
                    return Err(Error::Eval("expected one arg".to_owned()));
                };
                cx.apply_value_number_binary_op(
                    &Symbol::qualified("math", "add"),
                    value.clone(),
                    cx.factory()
                        .number_literal(Symbol::qualified("numbers", "i64"), "1".to_owned())?,
                )
            }),
        )))
        .unwrap();
    let err = cx
        .call_function(
            &Symbol::new("diff"),
            Args::new(vec![native, cx.factory().expr(quoted("x")).unwrap()]),
        )
        .unwrap_err();
    assert!(matches!(err, Error::Eval(message) if message.contains("NotDifferentiable")));
}