当我try 使用 SKI 演算中的S I I实现递归时，为什么 Rust 会失败

发布于08月21日

注:我将S和I的定义如下:https://en.wikipedia.org/wiki/SKI_combinator_calculus#Informal_description

所以S xyz = xz(yz)，或者说在铁 rust :

fn s <Z, Y, X> (
    x: fn(Z) -> fn(Y) -> X,
    y: fn(Z) -> Y,
    z: Z
) -> X
where Z: Copy
{
    x(z)(y(z))
}

让我们再定义一个辅助I x = x:

fn i <X> (x: X) -> X { x }

我知道S I I x是x(x)(我实际上试图解决的问题是找到一种x类型，使x适用于它自己)，但让我们不要成为通用的RN，而是try 使用S I I I.

显然，S I I I = I(I)(I(I)) = I(I) = I

let _ = s(i, i, i); // = i(i)(i(i)) = i(i) = i

这在我看来是合法的，但在编译器的眼中是不合法的:

error[E0308]: mismatched types
  --> src/main.rs:45:18
   |
45 |     let _ = s(i, i, i);
   |             -    ^ cyclic type of infinite size
   |             |
   |             arguments to this function are incorrect
   |
note: function defined here
  --> src/main.rs:32:4
   |
32 | fn s <Z, Y, X> (
   |    ^
33 |     x: fn(Z) -> fn(Y) -> X,
34 |     y: fn(Z) -> Y,
   |     -------------

我找到了一个"解释"，这个错误之所以会发生，是因为rustc无法处理某些无法计算的类型.有道理，但我在这里看不到任何上述类型的样本.你能告诉我它发生在哪里吗(如果可能的话，还有如何解决它)？

当我try 使用 SKI 演算中的S I I实现递归时，为什么 Rust 会失败

推荐答案

Rust相关问答推荐

移植带有可变borrow 的C代码-卸载期间错误(nappgui示例)

Rust kill std：：processs：：child

如何将`Join_all``Vec<；Result<；Vec<；Foo&>；，Anywhere：：Error&>；`合并到`Result<；Vec<；Foo&>；，Anywhere：：Error&>；`

当第二个`let`依赖于第一个`let()`时，如何在一行中有多个`let()`？

"value is never read警告似乎不正确.我应该忽略它吗？

有没有办法避免在While循环中多次borrow `*分支`

使用极点数据帧时，找不到枚举结果的方法lazy()

字段类型为Boxed的 struct 的生存期必须超过static

在文件链实施中绕过borrow 判断器

通过异常从同步代码中产生yield 是如何工作的？

带引脚和不带引脚的比较功能

tokio：：spawn 有和没有异步块

更新 rust ndarray 中矩阵的一行

如何保存指向持有引用数据的指针？

Rust并发读写引起的死锁问题

在 Bevy 项目中为 TextureAtlas 精灵实施 NearestNeighbor 的正确方法是什么？

如何获得对数组子集的工作可变引用？

Rust 中的let是做什么的？

实现不消费的迭代器

为什么我不能为 Display+Debug 的泛型类型实现 std：：error：：Error 但有一个不是泛型参数的类型？