functional-programming - 什么是 "reduction semantics"？请用外行术语解释PLT Redex的用法

Question

有人请用更简单的语言解释归约语义和PLT Redex的用法。

谢谢。

Answer 1

归约语义是一种计算技术，涉及用将表达式替换为等效的(希望是更小的)表达式，直到不再可能进行替换为止。如果一种语言是图灵完备的，则有些表达式会永不停止替换。

减少通常用向右箭头表示，最好用示例来解释:

(3 + 7) + 5   -->  10 + 5  -->  15

这显示了算术表达式的标准归约语义。表达式 15不能再减少。

希望这可以帮助。