I guess this sometime replace org-mode extensively. The idea is sound. The implementation looks good.
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.
Plus org-mode agenda is just superior and awesome.
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.
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?
XL[0] or its derivative Tao3D[1]? Regardless I think XL is a fascinating language. Being a Lisp person I find it neat when a language manages to write its core language constructs in itself.
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?)
How does this compare to Rules engine/rete algorithm? I've been developing a game on top of a rules engine and I can't help but feel very familiar reading the 4 Nova core ideas
I'll give this a try but at first glance through the guides it appears to be missing a way to ergonomically output specific states. I haven't run it yet but I'm guessing it logs everything that happens which will get verbose unless asked for.
A while back there was a rewrite language that was posted (white on black theme site) that was similar but more geared towards coding problems and less on lit programming. I don't remember the name but it was equally as interesting. If anyone recalls what it was it'd be greatly appreciated.
Anyway if the creator is lurking here, examples demonstrating more practical, real world problems (even if still somewhat small) would go a long way.
18 comments
[ 3.0 ms ] story [ 41.3 ms ] threadFor 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.
Plus org-mode agenda is just superior and awesome.
EDIT: seems to be open source, just isn't mentioned on the website https://forge.nouveau.community/nova
In https://nova-lang.net/implementations/
> Pyra: Runs on Lua
> Serpens: Runs on Python
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?
[0]: https://xlr.sourceforge.io [1]: https://tao3d.sourceforge.net
Not convinced the language would actually be useful, but I like the ideas for portability.
[0]: https://forge.nouveau.community/nouveau/serpens/src/branch/m...
[1]: https://forge.nouveau.community/yumaikas/myte/src/branch/mai...
A while back there was a rewrite language that was posted (white on black theme site) that was similar but more geared towards coding problems and less on lit programming. I don't remember the name but it was equally as interesting. If anyone recalls what it was it'd be greatly appreciated.
Anyway if the creator is lurking here, examples demonstrating more practical, real world problems (even if still somewhat small) would go a long way.