News for hackers. Stuff that matters.
Re:Jolie, the service-oriented programming language by bluejekyll on Monday May 17, 2021 @11:58AM (#27184939)
Could you achieve that with a language that has a sufficiently decent meta-programming option, like a macro system? It sounds like what you want is a compile time validated state machine.
Re:Jolie, the service-oriented programming language by Siira on Monday May 17, 2021 @01:47PM (#27186069)
Writing a language from scratch is not that different from writing a DSL using powerful macro systems. Does such a DSL already exist?
Re:Jolie, the service-oriented programming language by bluejekyll on Monday May 17, 2021 @05:18PM (#27188579)
It depends on what you're looking for. Based on my usage of Rust, I would say that it's proc_macro system is more than capable enough for use-cases like this, and macro_rules migth even be enough.

But lots of languages offer similar capabilities, Nim, Racket, Scala, Julia, Lisp, etc.

Re:Jolie, the service-oriented programming language by jcelerier on Monday May 17, 2021 @01:51PM (#27186113)
in C++ it's simple enough that you can build one accidentally https://philippegroarke.com/posts/2020/constexpr_fsm/ :p