问题标签 [letrec]

我是系统类型的新手，我想知道如何通过广义的 let rec x1=e1 ,....,xn=en 在 e 中定义相互递归。必须在“简单”letrec 的语义和评估规则中添加什么它的语法糖（使用 fix ）如何改变？

如何使用letrec将函数放入函数length体内length-it？

输出应该是(length-it '(1 2 3))-> 3。

如果我letrec*在我的 Scheme 解释器中实现了，我可以简单地letrec通过使其与 相同来实现letrec*吗？计划标准是否允许这样做？

对于每个 100% 兼容的不依赖于任何特定于实现或未定义行为的 R7RS 小程序，是否letrec可以替换程序中的每个实例letrec*而不会导致任何行为变化？换句话说，是否有任何 R7RS 小程序的外观letrec不能替换为letrec*？

我目前正在尝试使用静态类型系统实现类型分析器，使用 F# 语言实现。

这是完整的代码：这是带有 sintax 的 AST

这是 TypeInference 算法和我正在使用的所有方法：

我想对如何正确实现 Let Rec 来推断类型进行一些解释，我尝试实现它，但它似乎不能充分工作，以防万一还有关于统一和组合方法的任何建议我很高兴听到他们的声音，谢谢。