piq (/piːk/) is a fast, minimal, statically typed, easily bootstrappable, compiled programming language. It is written piq, with a lowercase p, because this has a nice symmetry. If it doesn't look symmetrical to you, consider changing your font.

The language is fast. It's close to the metal, there's no indirection.

The compiler is fast. The single-threaded performance is currently at about 170_000 sloc/s on my laptop.¹

The compiler itself is fast to compile.²

The piq syntax is a direct representation of the AST, where all compound constructs have an introducer keyword, and are parenthesized. For example (if cond a b) for ternary expressions, and (fn () 3) for lambdas.³ This is easy to parse, for humans and computers, without backtracking.

All piq types are known at compile time. It has full type inference, so if you have enough type constraints in your compilation unit such that there is only one solution, the compiler will be satisfied.

It currently has working LLVM codegen, with JIT'd code running in our test suites, but the plan is to support libgccjit and others.

The piq stage0 compiler is written in C99.⁴ This is currently the only compiler.

Please see the (incomplete) usage guide.

• Tokenizer
• Parser
• Name Resolution
• Typecheck/inference
• Codegen (llvm)

• Function declarations
• Let bindings
• Function calls
• Builtin types
• Type parameters
• If statements
• Pattern matching
• Custom datatypes
• Mutation
• References
• C FFI
• Generics

• Syscall wrappers
• Malloc/free replacements

• A name
• Compilation multithreading
• A compiler perf tracking website⁵
• Package management
• A good logo