Hacker News: karkob

New comment by karkob in "Dezyne Programming Language"

karkob — Mon, 19 May 2025 10:25:15 +0000

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

New comment by karkob in "Dezyne Programming Language"

karkob — Mon, 19 May 2025 10:23:48 +0000

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

New comment by karkob in "The Dezyne Programming Language"

karkob — Mon, 19 May 2025 10:21:14 +0000

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