haskell中的构造器可以认为是个普通函数吗
Value constructor 就是函数,区别是他们被当作data,所以不用关心value constructor的λ实现。就好比数字1 2 3都是value constructor,也都是函数。pattern match的意义就是在lambda reduce的时候直接match value constructor,让value constructor成为语言的基本单位,从而隐藏了其可能非常复杂的λ定义。参见church numerals
推荐阅读
- 鄂温克冬季马赛-30℃极寒开赛:寒冬中的火热派对
- 大雪@大雪腌肉 适当进补 今日大雪
- |电商事业中的“闪光少年”
- hadoop中的mapreduce链接(mapreduce chaining)怎样避免中间文件的产生
- 经观汽车|日系车企中的“异类”?东风日产将导入e-POWER技术大干增程式混动 | 经观汽车
- 中年|这些东西,比你想象中的还要大得多!
- 请问杨毅微博中的这两人是谁
- 某些公司招聘要求中的精通mysql是啥程度
- 宝宝|婴幼儿游泳——宝宝人生中的第一健身运动
- 汽车|你眼中的未来出行世界——YiMagazine x 道达尔
