免费注册 查看新帖 |

Chinaunix

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

fact -3 error:Cannot infer instance [复制链接]

论坛徽章:
0
发表于 2010-03-11 23:02 |显示全部楼层
fact 0 = 1
fact n = n * fact(n - 1)

Hugs> fact 3
6 :: Integer
(75 reductions, 140 cells)
Hugs> fact -3
ERROR - Cannot infer instance
*** Instance   : Num (a -> a)
*** Expression : fact - 3

按照规约的方式  fact -3  =》 -3 * fact -4
                                   =>  -4 * -3 * fact -5
                                   => ....
如何能得出 Cannot infer instance 的结论?

论坛徽章:
0
发表于 2010-03-11 23:35 |显示全部楼层
haskell  里面  '-'  号  一般要括起来。。。。应该写成  fact (-3)
否则就成了   (-) fact 3  了。。。  
fact 是一个函数   减去 3  所以就  cannot infer instance  因为函数作用于 -  是未定义的

论坛徽章:
0
发表于 2010-03-11 23:53 |显示全部楼层
回复 2# SNYH

谢谢


Hugs> fact (-3)
ERROR - C stack overflow

一直归约不成功,所以溢出了~
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

DTCC2020中国数据库技术大会

【架构革新 高效可控】2020年12月21日-23日第十一届中国数据库技术大会将在北京隆重召开。

大会设置2大主会场,20+技术专场,将邀请超百位行业专家,重点围绕数据架构、AI与大数据、传统企业数据库实践和国产开源数据库等内容展开分享和探讨,为广大数据领域从业人士提供一场年度盛会和交流平台。

http://dtcc.it168.com


大会官网>>
  

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

清除 Cookies - ChinaUnix - Archiver - WAP - TOP