如何解决如果我们知道kl-1= fl对所有int-> int类型的函数f和int类型的l成立,我们是否可以确定函数“ k”?
假设k和f都是int-> int类型的函数。如果我们知道k(l-1)= f(l)对于所有int类型的l成立,我们是否可以确定k是函数v-> f(v + 1)?
在进行函数式编程时,我有一个问题:转换长度函数
let rec len xs =
match xs with
| [] -> 0
| x:xr -> 1 + len xr;;
到连续通过版本。我对练习的回答是
let rec lenc xs k =
match xs with
| [] -> k 0
| x:xr -> lenc xr (fun v -> k(v+1))
但是我不确定(fun v -> k(v+1))
部分是否可以用其他解决方案代替。要知道这一点,我们需要确定一个唯一的“ k”,因为k(l-1)= f(l)对于所有int-> int类型的函数f和int类型的l都成立?
解决方法
您要数学证明吗?
(1) k(i - 1) = f(i)
(2) j = i - 1
来自(1)和(2):
(3) k(j) = f(i)
来自(2):
(4) i = j + 1
来自(3)和(4)
(5) k(j) = f(j + 1)
q.e.d。
当然(fun v -> k(v+1))
是您的k
,内部k
是f
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。