SystemScript Compiler (ssc) -Beta

SystemScript is a statically-typed systems programming language. The compiler performs lexical analysis, parsing, semantic analysis, and code generation to produce native executables. You can find the documentation here

Usage

ssc <source_file> [options]

Options

• -o <file> - Set output file name (default: a.out)
• -O<level> - Set optimization level (0-3)
• --emit-ir - Generate intermediate representation file

Examples

# Compile a program
ssc program.ss -o program.exe

# Compile with optimization
ssc program.ss -o program.exe -O2

# Generate IR for debugging
ssc program.ss -o program.exe --emit-ir

Language Features

Variables

let x: i32 = 42;           // Immutable variable
let mut y: i32 = 10;       // Mutable variable
const MAX: i32 = 100;      // Constant

Types

• Integers: i8, i16, i32, i64, u8, u16, u32, u64
• Floating point: f32, f64
• Boolean: bool
• Character: char
• String: str

Operators

Arithmetic: +, -, *, /, %

Comparison: ==, !=, <, <=, >, >=

Logical: &&, ||, !

Unary: -, !

Control Flow

// If-else
if (x > 0) {
    print("positive");
} else {
    print("non-positive");
}

// While loop
while (x < 10) {
    x = x + 1;
}

// For loop (range-based)
for (i in 0..5) {
    print("iteration");
}

// Infinite loop
loop {
    if (condition) {
        break;
    }
}

Functions

fn main() -> i32 {
    return 0;
}

Built-in Functions

• print(str) - Print string to stdout

Example Program

module main;

fn main() -> i32 {
    const MAX: i32 = 10;
    let mut sum: i32 = 0;
    
    for (i in 0..MAX) {
        sum = sum + i;
    }
    
    print("Done");
    return 0;
}

Compilation Pipeline

1. Lexical Analysis - Source code → Tokens
2. Parsing - Tokens → Abstract Syntax Tree (AST)
3. Semantic Analysis - Type checking and scope validation
4. Code Generation - AST → x64 assembly
5. Assembly & Linking - Assembly → Executable

Output Files

• <output>.exe - Executable file
• <output>.asm - Assembly source (preserved for debugging)
• <output>.ir - Intermediate representation (with --emit-ir)

Requirements

• NASM assembler
• Microsoft Visual Studio (for linker)
• Windows x64 platform

Error Messages

The compiler reports errors with context:

Compilation failed: Semantic error: Cannot assign to immutable variable 'x'

Warning

Disclaimer; This compiler is in beta and is still in development.