PPL 6

Prototype Programming Language

Requirements

Dlang https://dlang.org/
Dlang-common https://github.com/pvmoore/dlang-common
Dlang-llvm https://github.com/pvmoore/dlang-llvm
LLVM 13 static libs

Quick Syntax Overview

Variables

a       = 0         // int
const b = 3.2       // const float
int c   = 0
float d = 3.0 + b

Types

bool a; byte b; short c; int d; long e;
float f; double g
int[5] intArray
fn(int return void) fnPtr

Functions

pub fn foo(int param) {}

foo(3)

fn bar<T>(T p) {}

bar<double>(3.14)
bar(3.14)           // bar<float>(3.14) inferred

lambda = |int a| { return a*10 }

assert 30 == lambda(3)

extern fn putchar(int) int

putchar('0')

Structs

@pod struct Point(int x, iny y)

p = Point(10,20)

struct Vector<T>(T x, T y, T z) {
    pub fn new(T x, T y, T z) {
        this.x = x; this.y = y; this.z = z
    }
    @inline
    pub fn dot(Vector<T> b) {
        return x*b.x + y*b.y + z*b.y
    }
    pub fn operator[](int index) {
        return *((&x)+index)
    }
    pub fn operator==(Vector<T>* other) {
        // Same pointer or same contents
        return this is other or *this is *other
    }
    pub fn operator==(Vector<T> other) {
        // Same contents
        return *this is other
    }
}

v = Vector<float>(1.0, 2.0, 3.0)

alias Vec = Vector<float>
v2 = v.dot(Vec(4.0, 5.0, 6.0))

assert Vec(0,0,0) != v
assert v[1] == 2.0

Enums

enum Flag : int {
    A = 1,
    B,
    C = 9
}
Flag f = Flag.B

Control Flow

if(1 < 3) {
    // do this
} else {
    // do this
}
r = if(true) 3 else 5

select {
    1 > 2 : { /* do this */ }
    1 > 1 : { /* do this */ }
    else  : { /* do this */}
}

i = 5
r = select(i) {
    1,2   : 1
    3,4,5 : 2
    else  : 3
}
assert r == 2

loop(i = 0; i<2; i+=1) {

}

pvmoore/ppl6