相关疑难解决方法(0)

更具体地说,你如何建模功能程序,或者使用功能样式(没有类)使用图表而不是文本表示开发的功能程序,它是否可能,并且有人可以请我指向最近的应用程序(开源,啤酒中的免费,如果你愿意的话)

我是新TLA+用户。我读到TLA工具箱允许我们在完成模型检查后可视化状态图。

为此，需要安装 dot，我就是这样做的。但我没有弄清楚如何启动可视化。我可以使用 GUI 购买还是需要使用专用命令行？

谢谢

[类似的冠冕堂皇的问题上SO当前活动" 是否有一个可视化建模语言或风格的函数式编程范式？ "这是不同的,那么这个问题,因为另一只专注于函数式编程范式,我的问题是寻找一个建模工具支持面向对象范式(它独立地拥有许多成熟的可视化建模UML工具)和功能编程范例的组合.

是否有可视化建模工具/语言或样式支持Scala配置文件(提供并包含所有Scala语言工件),或者可以说它支持面向对象编程范例和函数式编程范例.

对于企业级Scala项目,使用什么建模工具 - 业务分析师为逻辑(概念)视图和开发视图准备Visual Models或任何其他类型的模型？

• 逻辑视图涉及系统为最终用户提供的功能.
• 开发视图从程序员的角度说明了一个系统,并且关注软件管理.

在软件开发的某些圈子中,正式建模是一项要求,无论您认为这是多么官僚.在项目结束时,不同团队有几个层次的参与,许多相关人员对代码一无所知.他们不需要,如果被问到他们,这将是一个很大的麻烦.正式建模可以确保他们能够更好地了解事物的运作方式,以便他们能够在开发过程中发挥作用.(本段摘自:https://stackoverflow.com/users/166802/codnik)

我倾向于成为一名视觉思想家.因此,如果我可以想象通过程序的数据流,我可以更好地理解它中发生的事情,如果我正在阅读正在发生的事情的文本故事(伪代码).

有没有一种方法可以直观地表示变量和对象流过的方式并通过函数进行更改？优选地,小规模,在单个功能内部以及整个程序的较大规模上工作的东西.

例如用于教授句子图表的英语课程.电气工程师有电路图.计算机科学中是否有同等学历？

是否只能针对具有面向对象方法的系统绘制UML图？我们可以将它们用于其他方法吗（例如：过程性的）？

我曾在一个学校项目上被要求显示我用来实现该项目的UML图（如果有的话）。但是我正在从事的项目是用C语言编写的，并且已进行了功能编程。因此，我想证明在不使用面向对象语言时使用类图是没有意义的，但是我担心这不是真的，并且无法证实这一假设。对我来说似乎毫无意义，但我想知道是否确实如此，因为可能以OOP方式思考代码可以帮助理解其工作方式。

使用类图来思考和构建功能程序的方式有什么好处？

在阅读了 Miro Samek 的优秀著作《Practical UML Statecharts in C/C++》之后，我迫不及待地想尝试一下。最近，我开始自学 Haskell 和函数式编程。

在我关于 Haskell 的书刚读了几章后，我就突然意识到状态图可能很困难，甚至与 Haskell 的风格背道而驰。毕竟，创建无状态程序需要付出巨大的努力，或者至少将代码的所有不纯部分与纯代码部分很好地分开。

当我在网上搜索“Haskell”结合“statechart”时，我几乎什么也没找到！这激起了我的好奇心。毕竟，Haskell 是一种相当古老的通用编程语言。怎么可能\n似乎几乎没有与状态图相关的活动？

Haskell 的 Reddit 子主题“ haskeller 对状态图的思考”中提出了几种可能的解释，我希望我的简短摘录不会扭曲任何作者的观点：

\n

1. /\xe2\x80\xa6/ Haskell 社区总体上在 UI 开发方面不是很活跃 /\xe2\x80\xa6/

   \n
\n

2. /\xe2\x80\xa6/ 状态图的缺点是它们提供的所有灵活性\n使得模型检查（以及基于模型的\n测试）变得更加困难。/\xe2\x80\xa6/

   \n
\n

3. /\xe2\x80\xa6/ 状态机是状态和转换规则的集合。但由于实现状态是多余的，您可以单独使用转换规则，这些规则被整齐地表示为（相互递归的）函数族。/\xe2\x80\xa6/ 但 Haskell 不受此限制，因此显式实现状态机通常是多余的。

   \n

   Hense（原文如此！），作为一名 Haskeller，我大多数时候并不真正需要显式状态机。作为一等公民和 TCO 的功能，在最好的情况下是一个实施细节，在最坏的情况下是不需要的。/\xe2\x80\xa6/

   \n
\n

4. A。/\xe2\x80\xa6/ 在 Haskell 生态系统中，你可能会更幸运地使用“转换系统”、“演员模型”或“状态转换器”等搜索词。/\xe2\x80\xa6/

   \n

   b. /\xe2\x80\xa6/ 函数反应式编程 (FRP) 和箭头是 Haskell 中\n实现信号流的方法。/\xe2\x80\xa6/

   \n

   C。/\xe2\x80\xa6/ State monad 转换器可以对此进行建模。如果中间步骤中有\n外部信号，则可以\n将其嵌入\n延续 monad 中。/\xe2\x80\xa6/

   \n
\n

我允许自己解释一下，并对此进行评论：

\n
1. 我发现 H. …

目前,在我的论文中,有一个热门的争论是"UML仅用于OO开发吗？" 我从一些消息来源搜索过,给出了很多关于它的论据.对于我自己,我相信并非所有的UML图都只针对OO系统/软件开发,即(状态图).所以,我希望你的启发,并请提供强有力的理论,支持你的书籍或国际期刊的答案,而不是维基或网络.

请帮帮我,我不知道该说些什么

非常感谢