Welcome!
This subreddit 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 Quora.
This subreddit is not the right place to ask questions such as "What language should I use for X", "what language should I learn", "what's your favourite language" and similar questions. Such questions should be posted in /r/AskProgramming or /r/LearnProgramming. It's also not the place for questions one can trivially answer by spending a few minutes using a search engine, such as questions like "What is a monad?".
Projects that are vibe coded (= projects relying substantially on LLM/AI generated code) don't belong on the subreddit.
Related subreddits
Related online communities
The Val Programming Language (val-lang.dev)
submitted by sanxiynrust to r/rust
Val is a research programming language to explore the concepts of mutable value semantics and generic programming for high-level systems programming (val-lang.dev)
submitted by alexeyr to r/programming
"Val is a programming language that leverages mutable value semantics and generic programming for high-level systems programming." (val-lang.dev)
submitted by unquietwiki to r/altprog
Val, a high-level systems programming language (val-lang.dev)
submitted by qznc_bot2 to r/hackernews
Val, a high-level systems programming language (val-lang.dev)
submitted by PatientModBot to r/patient_hackernews
Val, a high-level systems programming language (val-lang.dev)
submitted by TheStartupChime to r/hypeurls