Numbers mean what they say
Nat and Int are arbitrary precision. Dec uses exact base-10 arithmetic, not binary floating point.
A new programming language
Exact values.
Clear intent.
Panackelty is an experimental compiled language with arbitrary-precision numbers, checked domain types, explicit effects, and a portable bytecode VM.
Developer preview 0.1.0-alpha.1 is available for Linux x86-64 and Apple silicon.
pure greeting(name: Str,
answer: Nat): Str {
"Hello, ${name}. The answer is ${answer}."
}
main(): Void {
print(greeting("Ada", 42))
}$ panack run hello.panack
Hello, Ada. The answer is 42.
Language design
A compact language with deliberate semantics.
Invalid values stay out
Guarded types attach checked rules—such as a valid port range—to ordinary values at the language boundary.
Effects remain visible
pure functions cannot quietly perform I/O or call effectful code. The compiler keeps the boundary honest.
One dependable runtime
Source compiles to verified bytecode and runs on a portable C11 VM—the same execution path for scripts and saved programs.
01 · source
program.panack
02 · compile + verify
program.bc
03 · execute
portable C11 VM
Compiler and runtime
One execution model from source to bytecode.
The download contains the panack command, native VM,
self-hosted compiler, and standard library. Running programs needs
no Python, build system, or source checkout.
- Linux x86-64
- macOS arm64
- Bytecode v7
Developer preview
Early, open, and intentionally experimental.
The language, standard library, and bytecode format are being shaped in public. The preview is ready for exploration and useful feedback, not a promise of backwards compatibility. Read the specification, try complete examples, and tell us where the model can be clearer.
Explore Panackelty