问题标签 [church]

有没有人让 Church 编程语言在 Windows 上工作？我按照此处的说明进行操作，但无法以任何明显的方式运行本教程中的示例。我使用了 ikarus，尽管如果有明确的方法可以使用 PLT Scheme（现在的 Racket），我会非常满意。

例如，虽然我能够运行

在安装说明结束时，我无法运行包含

这是MIT-Church 入门部分中的第一个示例，如果我运行为

或作为

我发现如果我滥用我的标题看起来像测试套件，我可以运行类似这个特定示例的东西，但这不适用于该部分中的一些进一步示例。

通常我会怀疑我这边的库路径不好，但回声看起来不错：

并且，如前所述，测试用例运行。

我已经在讨论页面中询问了这个问题，以便在他们的 Wiki 上进行安装，我会看到两个论坛的结果都会被交叉发布。

我有一个涉及在 SML 中制作教堂数字的作业。我环顾四周，找不到我做错了什么。目标是制作一个接受 int 并返回教堂数字的函数，定义为数据类型 'a numeric = Num of ('a -> 'a) -> 'a -> 'a （由我的老师预定义） . 然后创建第二个函数，它接受一个教堂数字并返回一个 int。

我看到之前的帖子有代码：

但这不起作用，并且由于值限制而将错误类型 var 实例化为虚拟类型。

当我使用代码时：

（定义零）然后

（只是在设置迭代或递归函数之前进行测试以查看是否可以增加零），我得到了同样的错误。我在这个问题上花了几个小时，无法产生一个教堂数字。有人可以指出我正确的方向吗？

我正在为我的教会开发一个安卓应用程序，并希望将我们的布道放在上面。我们上传布道的公司会自动为其制作播客提要。基本上我正在寻找一种在应用程序内列出播客的方法。我希望将其硬编码到一个播客中。我在网上看过，但真的找不到任何东西。我不确定如何编写播客部分。实际播放很可能会移交给辅助应用程序。

我正在尝试在 Swift 3 中实现教堂数字。目前，我有：

在我的函数 numToChurch 的这一行：

我不断收到一个编译时错误，即“关闭非转义参数'f'可能允许它转义”。作为快速修复，我接受了包含@escaping 的建议更改：

但即使在进行了更改之后，我仍然被告知同样的错误，它建议在“f:”之后添加另一个 @escaping。我知道这与将函数参数标记为 @escaping 以告诉编译器可以存储或捕获参数以进行函数式编程有关。但我不明白为什么我不断收到这个错误。

原始非转义问题已解决

帮助理解 Swift 中的教堂编码（续）：