What is KORE?

KORE is a self-hosting programming language that combines the best ideas from multiple paradigms:

Paradigm	Inspiration	KORE Implementation
Safety	Rust	Ownership, borrowing, no null, no data races
Syntax	Python	Significant whitespace, minimal ceremony
Metaprogramming	Lisp	Code as data, hygienic macros, DSL-friendly
Compile-Time	Zig	`comptime` execution, no separate macro language
Effects	Koka/Eff	Side effects tracked in the type system
Concurrency	Erlang	Actor model with message passing
UI/Components	React/JSX	Native JSX syntax, components, hot reloading
Targets	Universal	WASM, LLVM native, SPIR-V shaders, Rust transpilation

Example

// Define a function with effect tracking
fn factorial(n: Int) -> Int with Pure:
    match n:
        0 => 1
        _ => n * factorial(n - 1)

// Actors for concurrency
actor Counter:
    var count: Int = 0

    on Increment(n: Int):
        count = count + n

    on GetCount -> Int:
        return count

fn main():
    let result = factorial(5)
    println("5! = " + str(result))

you are viewing a single comment's thread
view the rest of the comments

[-] ICastFist@programming.dev 2 points 5 days ago

Nim has python-esque syntax and its compiler does not need llvm or rust - it only needs a c compiler if you build it from source. It currently has a significant amount of packages that can be imported, making it easier/faster to get your end result. Nim also has plenty of packages for microcontrollers. Most of the stuff listed on Kore's "Unimplemented Features (TODOs in source)" are working on Nim, too.

More importantly, existing for longer means there's a larger community and several questions of "how do I do X" that have been answered, which is a bigger advantage for choosing Nim in this situation

this post was submitted on 01 Feb 2026

17 points (100.0% liked)

Programming Languages

1468 readers

1 users here now

Hello!

This is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.

The content and rules are the same here as they are over there. Taken directly from the /r/ProgrammingLanguages overview:

This community is dedicated to the theory, design and implementation of programming languages.

Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.

This isn't the right place to ask questions such as "What language should I use for X", "what language should I learn", and "what's your favorite language". Such questions should be posted in /c/learn_programming or /c/programming.

This is the right place for posts like the following:

"Check out this new language I've been working on!"
"Here's a blog post on how I implemented static type checking into this compiler"
"I want to write a compiler, where do I start?"
"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?"
"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?"
"What are the pros/cons of ?"
"Compare and contrast vs. "
"Confused about the semantics of this language"
"Proceedings from PLDI / OOPSLA / ICFP / "

See /r/ProgrammingLanguages for specific examples

Related online communities

founded 2 years ago

MODERATORS

armchair_progamer@programming.dev