The Dezyne Programming Language
dezyne.org
The Dezyne Programming Language
1–10 of 13 posts
Re: The Dezyne Programming Language
#2Smells like Swift to me; too much specialization, everything reads like a contract.
Re: The Dezyne Programming Language
#3Can anyone proficient with this kind of language comment on how useful it is compared to a more vanilla imperative language? It seems like it's designed for control systems, which is largely about correctly implementing large state machines. Are there problems that are incredibly difficult to manage without a language like dezyne? Outside of control and state machines, are there other domains it excels in?
Re: The Dezyne Programming Language
#4[dead]
Re: The Dezyne Programming Language
#5Can anyone proficient with this kind of language comment on how useful it is compared to a more vanilla imperative language? It seems like it's designed for control systems, which is largely about correctly implementing large state machines. Are there problems that are incredibly difficult to manage without a language like dezyne? Outside of control and state machines, are there other domains it excels in?
every app is big hierarchical state machine. from app using mechanical enginering devices to cenralized perpertual trading orderbook to networked game world state management middleware.
Re: The Dezyne Programming Language
#6Can anyone proficient with this kind of language comment on how useful it is compared to a more vanilla imperative language? It seems like it's designed for control systems, which is largely about correctly implementing large state machines. Are there problems that are incredibly difficult to manage without a language like dezyne? Outside of control and state machines, are there other domains it excels in?
Sounds like formal verification is built into the language, which sounds nice for people who care!
Given this is spitting out C++ code, it could be that the ideal way of using this is to write your state machines with this, then use the output in a more traditional setup.
https://dezyne.org/dezyne/manual/dezyne/dezyne.html#Formal-V...
Re: The Dezyne Programming Language
#7Smells like Swift to me; too much specialization, everything reads like a contract.
> everything reads like a contract.
Sounds like plan! Sign me up.
Re: The Dezyne Programming Language
#8Is there a hello world somewhere? The home page just has release announcements, and I'm not quite interested enough to read the manual.
Re: The Dezyne Programming Language
#9Is there a hello world somewhere? The home page just has release announcements, and I'm not quite interested enough to read the manual.
Re: The Dezyne Programming Language
#10That's only the language, I strongly recommend using dedicated VS Code extension that supports graphical tools
VS code extension: https://marketplace.visualstudio.com/items?itemName=verum.de...
Verum Dezyne binary: https://verum.com/download/
It's a bit confusing but Dezyne - language, command-line version. Verum Dezyne - same + graphical tools
If you need a working example, you can find a simple Cmake/C++ implementation: https://forum.verum.com/t/automatic-lights-a-complex-system-...
If you are stubborn enough you can model even the smallest detail of logic in Dezyne and then use single lines of C++ hand-written code to manipulate IOs: https://bitbucket.org/j0ran/alarmsystem/src/alarmsystem-no-m...