Nova Programming Language
by surprisetalk on 12/8/2025, 3:03:09 PM
Comments
by: ajkjk
ahem, by law programming languages must have code samples on the front page
12/8/2025, 5:33:10 PM
by: ivanjermakov
Not open source, some code snippets here: <a href="https://nova-lang.net/introduction-to-nova/sight/" rel="nofollow">https://nova-lang.net/introduction-to-nova/sight/</a>
12/8/2025, 4:58:37 PM
by: geenat
I like the idea of a "markdown for logic", with transpiliation to lots of different easy backends such as javascript.<p>Not convinced the language would actually be useful, but I like the ideas for portability.
12/8/2025, 5:37:54 PM
by: satiric
This feels like prolog, although I don't remember much about prolog apart from writing about 3 lines to get a CS degree. What puts this apart from prolog? (And are there, you know, reasons for using the language?)
12/8/2025, 6:10:03 PM
by: BoiledCabbage
While I'm not clear on how it scales to more broader problems, it's nice to see a somewhat novel idea in programming languages vs the same rehash of algol derived languages.<p>I do think I've seen something similar. A language mainly driven off of pattern matching, but I don't recall where. Does anyone know of prior art? Or is this completely novel?
12/8/2025, 5:33:03 PM
by: escanda
I guess this sometime replace org-mode extensively. The idea is sound. The implementation looks good.<p>For instance, I love org-mode export capabilities to standard formats such as pdfs and other kinds of documents. It makes it real easy to export some formulae or docs for some feature.<p>Plus org-mode agenda is just superior and awesome.
12/8/2025, 4:38:55 PM
by: oersted
Huh...<p>In <a href="https://nova-lang.net/implementations/" rel="nofollow">https://nova-lang.net/implementations/</a><p>> Pyra: Runs on Lua<p>> Serpens: Runs on Python
12/8/2025, 5:08:43 PM
by: arniemiller
Nice. The learn page reminded me of <a href="https://learnxinyminutes.com/" rel="nofollow">https://learnxinyminutes.com/</a> which I really liked as a quick way to get a tour of a language.
12/8/2025, 5:00:41 PM
by: almosthere
Did you have 3 seconds to see that there is a Nova code editor out there? (edit: this comment is about name confusion)
12/8/2025, 4:42:16 PM