这是一个错字
map’ f (x:xs) cc = f x (\y -> map f xs (\ys -> cc(y:ys)))
</code>
应该:
map’ f (x:xs) cc = f x (\y -> map’ f xs (\ys -> cc(y:ys)))
</code>
我有以下内容
CPS
</跨度>
执行直到:
直到’p f x cc = p x(\ y - &gt;如果y则cc(x)
否则直到’p f(f x(\ z - &gt; cc(z)))cc)
哪种类型检查好!现在……,试着
CPS
</跨度>
地图:
map’f(x:xs)cc = f x(\ y - &gt; map f xs(\ ys - &gt; cc(y:ys)))
另一个可能的实现
map’f(x:xs)cc = cc(f x(\ y cc’ - &gt; map f xs(\ ys - &gt; cc’(y:ys))))
但是没有一个……