用Haskell表示特定于流程图的算法
用Haskell表示特定于流程图的算法
提问于 2010-12-14 18:54:34
我面临着实现以流程图表示的算法(主要是业务逻辑风格)的任务。我知道流程图不是最好的算法表示，因为它是意大利面状代码属性(这是CPS的用例吗？)，但我坚持使用流程图表示的规范。
虽然我可以在实现流程图之前将它们转换为更合适的等价表示，但这可能会使在结果实现中更难“识别”原始流程图，所以我希望有某种方法可以在Haskell中将流程图算法直接表示为(可能是一元的)EDSL，以便与原始流程图规范的外观(更)明显。
回答 3
Stack Overflow用户
回答已采纳
发布于 2010-12-14 19:34:11
流程图的一种可能的表示是通过使用一组相互尾递归的函数，通过将“转到步骤X”转换为“评估具有状态S的函数X”。为了提高可读性，您可以将操作(更改状态的外部函数)和if/else或模式匹配链合并到一个函数中，这有助于确定下一步采取什么步骤。
当然，这是假设您的流程图是硬编码的(而不是在运行时从外部源加载)。
Stack Overflow用户
发布于 2010-12-14 21:02:50
听起来Arrows完全符合您的描述。要么可视化箭头(应该非常简单)，要么根据流程图生成/转换箭头代码。
Stack Overflow用户
发布于 2010-12-15 01:55:29
假设流程图中有“全局”状态，那么将其封装到状态单子中是有意义的。至少，与你现在的做法不同，每次调用都不需要任何参数，所以可以这样理解: a)修改状态，b)根据当前状态，跳转。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/4438393
复制相关文章
相似问题
腾讯云开发者
