haskell - 为什么守卫被称为 'guards' ？

Question

有谁知道名为守卫的结构的名称由来吗？

func x
    | cond1 -> expr1  
    ...
    | condN -> exprN

维基百科文章 Guard_(computer_science)给出了一些历史观点，但缺乏对名称来源的解释(它只是提到 SASL 是第一个使用该名称的公司之一)。

到目前为止，我找到了对 Edsger Dijkstra 和他的 protected 命令语言的引用。他是第一个使用“守卫”这个词的人吗？

Answer 1

是的，该术语来自 Dijkstra。 Guarded commands, non-determinacy and formal derivation of programs (CACM 1975)

具有讽刺意味的是，Wikipedia article Guard (computer science)说“守卫代码提供了子例程的早期退出，并且是结构化编程的常用偏差”，缺乏对守卫和结构化编程的基本认识，因为这个术语变得很重要，因为 Dijkstra 的守卫是对结构化编程的基本和有影响力的贡献.