Expand description
§KORE - The Ultimate Programming Language
§Philosophy
- Rust’s Safety - Ownership, borrowing, no null, no data races
- Python’s Syntax - Significant whitespace, minimal ceremony
- Lisp’s Power - Code as data, hygienic macros, DSL-friendly
- Zig’s Comptime - Compile-time execution, no separate macro language
- Effect Tracking - Side effects in the type system
- Actor Concurrency - Erlang-style message passing built-in
- Universal Targets - WASM, LLVM native, SPIR-V shaders
§Example
fn factorial(n: Int) -> Int with Pure:
match n:
0 => 1
_ => n * factorial(n - 1)Re-exports§
pub use lexer::Lexer;pub use parser::Parser;pub use error::KoreError;pub use span::Span;pub use ast::*;pub use types::*;pub use effects::*;
Modules§
- ast
- KORE Abstract Syntax Tree
- codegen
- KORE Code Generation - Multi-target output
- comptime
- diagnostics
- Pretty error reporting for KORE Shows source context with line numbers and error highlighting
- effects
- KORE Effect System - Track side effects at compile time
- error
- Error types for the KORE compiler
- lexer
- KORE Lexer - Significant whitespace + Rust-like tokens
- lsp
- monomorphize
- packager
- parser
- KORE Parser - Python-style indentation with Rust semantics
- runtime
- KORE Runtime - Interpreter and actor system
- span
- Source code span tracking for error reporting
- stdlib
- KORE Standard Library
- types
- KORE Type System - Rust-like with effect tracking
Enums§
Constants§
- LANGUAGE_
NAME - VERSION
- Version of the KORE language
Functions§
- compile
- Compile KORE source to the specified target