Core Module

#import Language::Core;

Instantiate Integer^ As <a> = Integer::Constructor(10);
Instantiate Integer^ As <b> = Integer::Constructor(3);

Instantiate Integer^ As <sum> = a.add(b);           // 13
Instantiate Integer^ As <product> = a.multiply(b);  // 30
Instantiate Integer^ As <absolute> = a.negate().abs(); // 10

Run System::Console::printLine(sum.toString());

Instantiate String^ As <greeting> = String::Constructor("Hello");
Instantiate String^ As <name> = String::Constructor("World");

Instantiate String^ As <message> = greeting.append(String::Constructor(", ")).append(name);
Instantiate Integer^ As <len> = message.length();

If (message.isEmpty().not().toBool())
{
    Run System::Console::printLine(message);
}

Instantiate Bool^ As <a> = Bool::Constructor(true);
Instantiate Bool^ As <b> = Bool::Constructor(false);

Instantiate Bool^ As <result> = a.and(b);     // false
Instantiate Bool^ As <either> = a.or(b);      // true
Instantiate Bool^ As <negated> = a.not();     // false

If (a.toBool())
{
    Run System::Console::printLine(String::Constructor("a is true"));
}

Instantiate Double^ As <pi> = Double::Constructor(3.14159265359);
Instantiate Double^ As <radius> = Double::Constructor(5.0);

Instantiate Double^ As <area> = pi.multiply(radius).multiply(radius);
Run System::Console::printLine(area.toString());

[ Constraint <Hashable> <T Constrains None>
    Method <hash> Returns NativeType<"int64">^ Parameters ()
]

[ Constraint <Equatable> <T Constrains None>
    Method <equals> Returns Bool^ Parameters (Parameter <other> Types NativeType<"ptr">^)
]

1
#import Language::Core;
2
#import Language::System;
3
4
[ Entrypoint
5
    {
6
        // Integer arithmetic
7
        Instantiate Integer^ As <x> = Integer::Constructor(42);
8
        Instantiate Integer^ As <y> = Integer::Constructor(8);
9
        Instantiate Integer^ As <sum> = x.add(y);
10
11
        // Floating point
12
        Instantiate Double^ As <pi> = Double::Constructor(3.14159);
13
        Instantiate Double^ As <squared> = pi.multiply(pi);
14
15
        // String operations
16
        Instantiate String^ As <result> = String::Constructor("Result: ");
17
        Set result = result.append(sum.toString());
18
19
        // Boolean logic
20
        Instantiate Bool^ As <isPositive> = x.greaterThan(Integer::Constructor(0));
21
22
        If (isPositive.toBool())
23
        {
24
            Run System::Console::printLine(result);
25
        }
26
27
        Exit(0);
28
    }
29
]