这个函数是如何与一阶函数连接的？
这个函数是如何与一阶函数连接的？
提问于 2015-09-26 12:01:38
let concat (l : string list) : string = fold_right (fun a x -> a ^ x) l ""所以，我看到了
- 让concat获取一个带有字符串的列表，并返回一个字符串。
- 右折取3个参数，
- 1第一个函数连接两个字符串，它接受a和x，然后使用^将它们连接起来。
- 第二个论点是清单，
- 最后，第三个是累加器，每个累加器都被添加到其中。
但是，func a x如何知道a是列表的第一个元素，x是第二个元素。
当它再次通过时，它如何知道a是列表的第三个元素，x是第四个元素，等等？
回答 1
Stack Overflow用户
回答已采纳
发布于 2015-09-26 12:16:50
accumulator是fold function的第一个参数，a，而x是列表的set to each element，而fold则遍历它。
fold function的返回值是accumulator的new value。
accumulator的初始值是empty string，因此第一个级联的结果(成为new accumulator )与列表的first element值相同。
然后将next element连接到该字符串，以此类推，直到到达列表的末尾，此时fold返回完全连接的字符串final value of the accumulator。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/32801443
复制
![[Rust笔记] `?`操作符是如何“抽象”错误类型与“短路”函数的](https://ask.qcloudimg.com/http-save/yehe-1124784/0fa8c834a6c45320bc358eb1b684b600.png)
相似问题
一阶参数多态与一阶函数
一阶逻辑中的谓词与函数
这个C++函数与等效的java函数是如何工作不同的？
这个函数是如何工作的？
这个函数是如何计算的？
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
