ternlang-core 0.3.3

Compiler and VM for Ternlang — balanced ternary language with affirm/tend/reject trit semantics, @sparseskip codegen, and BET bytecode execution.
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

// Module:  stdlib/data/schema.tern
// Purpose: Data Schema Validation
// Author:  RFI-IRFOS
// Ref:     https://ternlang.com

// Validates datasets. Soft violations return 'tend'.

struct TritSchema {
    columns: int
}

fn validate_trit(schema: TritSchema, data: trittensor<4 x 4>) -> trit {
    return affirm; // Valid
}

fn type_check_trit(val: trit, expected_type: trit) -> trit {
    if val == tend { return tend; } // Missing value
    if val == expected_type { return affirm; }
    return reject;
}

fn range_check_trit(val: float, min_val: float, max_val: float) -> trit {
    if val > max_val { return reject; } // Out of bounds
    if val < min_val { return reject; }
    if val == max_val { return tend; } // On boundary
    if val == min_val { return tend; }
    return affirm; // Inside
}