免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 55323 | 回复: 4

ocaml 的函数参数的问题 [复制链接]

论坛徽章:
1
IT运维版块每日发帖之星
日期:2015-12-20 06:20:00
发表于 2014-01-03 22:58 |显示全部楼层
本帖最后由 goingstudy 于 2014-01-03 22:59 编辑

在ocaml中定义
  1. let emit x acc = x :: acc;;
复制代码
,它的类型为
  1. val emit : 'a -> 'a list -> 'a list = <fun>
复制代码
正常的调用方式是:
  1. # emit 1 [2;3];;
  2. - : int list = [1; 2; 3]
复制代码
因为所有的函数都是只有一个参数,多个参数的函数可以看成是一个函数以一个函数为参数,
所以,当我这样调用时
  1. # emit 1;;
  2. - : int list -> int list = <fun>
复制代码
这个我能理解,相当于emit的类型,这样理解
  1. 'a -> ('a list -> 'a list)
复制代码
但是当我这样调用时,
  1. # emit [2];;
  2. - : int list list -> int list list = <fun>
复制代码
实在是不能理解了,请高手给解释下这个类型是什么意思

论坛徽章:
1
IT运维版块每日发帖之星
日期:2015-12-20 06:20:00
发表于 2014-01-04 09:32 |显示全部楼层
人都去哪里了,怎么这么冷清啊

论坛徽章:
2
青铜圣斗士
日期:2015-11-26 06:15:59数据库技术版块每日发帖之星
日期:2016-07-24 06:20:00
发表于 2014-01-04 09:59 |显示全部楼层
这个板块确实很冷清。。。  而且还是划在C/C++的子板块里。。。

论坛徽章:
7
巳蛇
日期:2014-04-10 08:54:57白羊座
日期:2014-04-22 20:06:262015年亚洲杯之沙特阿拉伯
日期:2015-02-10 14:18:532015年辞旧岁徽章
日期:2015-03-03 16:54:152015亚冠之吉达阿赫利
日期:2015-06-02 11:34:112015亚冠之武里南联
日期:2015-06-24 12:13:082015亚冠之阿尔纳斯尔
日期:2015-08-03 09:08:25
发表于 2014-01-05 02:51 |显示全部楼层
回复 1# goingstudy
你自己前面写了那么一大段,写得很清楚了,而且你的理解也没什么问题,真搞不明白为什么到最后一个类比的问题你就搞不明白了。你自己写的val emit : 'a -> 'a list -> 'a list = <fun>,也就是说emit的第一个参数是任意类型'a,那么你emit [2];;这样调用的时候这个'a当然是[2]的类型,而[2]的类型当然是int list,所以'a list也就变成了int list list,那么emit [2];;自然就是- : int list list -> int list list = <fun>,对于你不能理解这本身我就不能理解你为什么不理解。

   

论坛徽章:
1
IT运维版块每日发帖之星
日期:2015-12-20 06:20:00
发表于 2014-01-05 22:13 |显示全部楼层
回复 4# Monox
谢谢指点,明白了,刚开始学函数式编程,感觉思维还是有点局限于c/c++的思维里

   
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP