(comments)

原始链接: https://news.ycombinator.com/item?id=44013201

The Hacker News thread discusses the Dezyne programming language, a contract/behavior-oriented language suitable for control systems and state machines. A user sought a "hello world" example, which was linked in the thread. Users recommend using the VS Code extension for graphical tools. Dezyne's key feature is built-in formal verification (model checking), ensuring all possible code states are checked and requirement violations are identified. This eliminates the need for manual unit tests, as the target code is generated directly from the model. The language is suitable for systems with a significant number of potential states (100+). Some users see similarities to Eiffel, while others compare it to Swift due to its contract-like nature. Users suggest writing state machines in Dezyne and using the generated C++ code in a traditional setup. One user argues that every application is, in fact, a state machine and that Dezyne would be applicable to many use cases.