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:

See /r/ProgrammingLanguages for specific examples

Related online communities

founded 2 years ago
MODERATORS
 

From the README:

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))
top 7 comments
sorted by: hot top controversial new old
[–] spartanatreyu@programming.dev 4 points 3 days ago

Significant whitespace, minimal ceremony

Well that's an oxymoron. If you're having to alter the whitespace instead of the code because the whitespace is significant than all you have is ceremony.

[–] Solumbran@lemmy.world 2 points 5 days ago (1 children)

Doesn't really seem like there's a reason to use this instead of, for example, nim

[–] bitcrafter@programming.dev 0 points 4 days ago (2 children)

Why should someone rule this language out over Nim?

[–] ICastFist@programming.dev 2 points 3 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

[–] Solumbran@lemmy.world 1 points 4 days ago (1 children)

Because unless there is a technical advantage to it, creating a new language that does the same or less than another already existing one just splits and weakens both.

[–] bitcrafter@programming.dev 1 points 4 days ago

The person creating this language clearly believes it has things to offer that existing languages do not.

[–] librekitty@lemmy.today 1 points 5 days ago

looks very promising!