alt.hn

5/17/2025 at 9:44:19 AM

Dezyne Programming Language

 https://dezyne.org/dezyne/manual/dezyne/dezyne.html

by aulisius

5/19/2025 at 10:21:14 AM

That'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...

by karkob

5/18/2025 at 10:25:42 PM

Can 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?

by gotoeleven

5/19/2025 at 10:23:48 AM

Dezyne runs formal verification under the hood (Model checking), which basically means checking all possible situations that might happen in your code. You can create a requirements/constraint like statements and Dezyne will check is there a scenario where you violate them. Also it makes sure that every single has a correct handler, so no more unexpected timer interrupts.

It short words - you don't need to write unit tests and target code generates directly from the model

by karkob

5/19/2025 at 1:35:29 AM

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...

by rtpg

5/18/2025 at 11:42:07 PM

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.

by dlahoda

5/19/2025 at 11:26:38 AM

This language reminds me of Eiffel programming language, but more contract/behaviour oriented.

by az09mugen

5/18/2025 at 10:17:41 PM

Smells like Swift to me; too much specialization, everything reads like a contract.

by codr7

5/19/2025 at 10:25:15 AM

It's a general-purpose language, it starts to make sense as soon as you rich ~100 possible states in your code, which actually is a small number

by karkob

5/19/2025 at 1:44:57 AM

> everything reads like a contract.

Sounds like plan! Sign me up.

by sitkack

5/18/2025 at 10:37:13 PM

[dead]

by leelou2