Introduction

Peeper is an experimental systems programming language. Its compiler checks a program's types, paths, moves and borrows, then builds a native executable through LLVM.

A first programCopy Anchor Link

struct Point { x: i32, y: i32 }

fn distance(a: &Point, b: &Point) -> i32 {
    return (b.x - a.x) + (b.y - a.y);
}

fn main() {
    let start = Point.{ x = 1, y = 2 };
    let end: Point = .{ x = 4, y = 6 };
    println("distance:", distance(&start, &end));
}

distance: 7

What the compiler does todayCopy Anchor Link

• Parses with recovery. A syntax error does not stop the rest of the file from being read, and many errors come with a fix that peeper fix or an editor applies.
• Checks types of integers, floats, bool, C strings, arrays, ranges, structs, functions, constants and modules, and folds constants while compiling.
• Checks paths: a variable read before it is set, a missing return, and unreachable code.
• Checks moves and borrows: a struct used after it moved, or a &mut borrow while a reference to the same value is still in use.
• Builds native programs from MIR through LLVM and Clang, on Linux, macOS and Windows.
• Answers editors through its language server, re-checking only the modules an edit affects.

NextCopy Anchor Link