sapphire-lang 0.8.0

Gradually typed scripting language where every value is an object and types are optional, checked at runtime
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

use super::{VmValue, eval};

#[test]
fn zero() {
    assert_eq!(eval("0.zero?()"), VmValue::Bool(true));
    assert_eq!(eval("1.zero?()"), VmValue::Bool(false));
}

#[test]
fn positive() {
    assert_eq!(eval("3.positive?()"), VmValue::Bool(true));
    assert_eq!(eval("(-1).positive?()"), VmValue::Bool(false));
}

#[test]
fn negative() {
    assert_eq!(eval("(-1.0).negative?()"), VmValue::Bool(true));
    assert_eq!(eval("1.negative?()"), VmValue::Bool(false));
}

#[test]
fn clamp() {
    assert_eq!(eval("10.clamp(1, 5)"), VmValue::Int(5));
    assert_eq!(eval("0.clamp(1, 5)"), VmValue::Int(1));
    assert_eq!(eval("3.clamp(1, 5)"), VmValue::Int(3));
}

#[test]
fn type_annotation_accepts_int_and_float() {
    let src = "def double(x: Num) { x + x }\ndouble(3)";
    assert_eq!(eval(src), VmValue::Int(6));

    let src2 = "def double(x: Num) { x + x }\ndouble(1.5)";
    assert_eq!(eval(src2), VmValue::Float(3.0));
}