Icon（编程语言）

- Icon 是一种高阶编程语言，诞生于 20 世纪 70 年代末，由美国亚利桑那大学的 Ralph Griswold 团队设计，是 SNOBOL 语言的精神继承者。 - 它最著名的特性是“目标导向执行”（goal-directed evaluation）：表达式不仅能返回一个值，还能在失败时自动回溯、尝试其他路径，这让字符串处理和图遍历等任务极其简洁。 - 另一个标志性功能是 **co-expression**（协程），它允许暂停和恢复代码执行，比 Python 的生成器出现得更早。 - Icon 曾在中文字处理、诗歌生成和语言原型设计等小众领域有一定影响，但从未成为主流。它的设计思想后来影响了 Python、Ruby、Lua 以及 Swift 的部分特性（如可选链和模式匹配）。 - 对于当前技术读者而言，Icon 的意义更多在于语言设计史：它的回溯机制和协程模型仍然是非常规但优雅的思考方式。