Valk – new programming language with a stateful GC
Greetings HN, I have been working on a new programming language for the last 3 years and thought it was time to share it with some people. The core of the language is done and i have been using it to create all software related to the language: the compiler itself, the website and vman (valk manager, like npm). There's still alot of work todo but was hoping for some feedback. Maybe an interesting feature of the language is (so i think) that it's the first language with a stateful garbage collector. It basically knows what memory goes out of scope and which doesn't without having to scan for…
What it does
In the maker’s words, at launch
Greetings HN, I have been working on a new programming language for the last 3 years and thought it was time to share it with some people. The core of the language is done and i have been using it to create all software related to the language: the compiler itself, the website and vman (valk manager, like npm). There's still alot of work todo but was hoping for some feedback. Maybe an interesting feature of the language is (so i think) that it's the first language with a stateful garbage collector. It basically knows what memory goes out of scope and which doesn't without having to scan for it. So no more mark/sweep. This new GC algorithm is kind of complex and i would probably need a big blog post to explain everything. Something i will do in the future. Anyhow, feedback is welcome.
Does the same job
all alternatives →- MMMicro-mitten – Research language with compile-time memory management2020 · github.com · ▲236
I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time now - some of the performance results look promising! (Although some less so...) I think it would be great to see this taken further and built into a more complete functional language.
- ASA systems language with runtime reflection and no GCDec 2025 · xxml-language.com · ▲6
Hi HN, I’ve been working on an experimental programming language called XXML. The project started from a frustration I kept running into across systems languages: Languages with strong ownership tend to avoid runtime reflection. Languages with rich reflection usually rely on GC or give up memory guarantees. Compile-time code generation often requires a separate macro language. I wanted to explore whether those tradeoffs are truly necessary. What XXML is trying to do XXML is a statically-typed, native language that: Uses explicit ownership and borrowing (no garbage collector) Supports runtime…
- LPLearning Project: building an imperative language2020 · ▲36
Hi! I am doing a learning project, attempting to build an imperative language (and interpreter). The end product will be useless for others, I just want to learn and better understand how to build imperative languages. :) If someone else shares this interest and want to give some good hints on good resources I would be grateful. Currently I am looking at an awesome text by Bob Nystrom. All suggestions and tips on resources are most welcome. I am very much a beginner in this, but I find this topic very fascinating. Mail me or post links here! Cheers! You can try a beta version Online at…
- IAInk: An LLVM based programming language [WIP]2015 · ▲6
Hi there. I'm working on a programming language -- called Ink - in my spare time, with a friend. It uses LLVM for the backend, the parser and lexer are both hand written in C. The project is just for a bit of fun, we aren't trying to "revolutionize the programming language", but we're okay with being a bit quirky and out of the box with some of the syntax/features in the language. At the moment, the language is in it's early stages, and there's still a lot to do, which means that if you want to learn more about compilers, now would be a good time to start working on the language, since…
- GAG# –> a new dotnet language like Go/Swift/Kotlin with C# interopJun 2026 · davidobando.github.io · ▲9
I started working on this back in 2019, mostly as a design idea. Over the last month I made a big push to make it 100% usable and replace C# in all my personal projects. I now feel it's solid enough to gather feedback from other developers. If you take it for a spin, I hope you enjoy it and send your thoughts!
- TJThe Jac Programming LanguageJul 2026 · jaclang.org · ▲9
After 6 years of coding almost every day, I'm finally ready to show HN. There's a lot going on here, looking forward to your guy's feedback.
More dev tools this month
the category →
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 1d ago · opentrailpaper.com
