Steve Yegge的文章关于服务器端JavaScript的评论开始讨论语言中类型系统的优点,这个评论描述了:
... examples from H-M style systems where you can get things like:
expected signature Int*Int->Int but got Int*Int->Int
你能举一个函数定义(或两个)和一个函数调用的例子,以产生该错误吗?在一个相对较大的程序中,这似乎很难调试。
此外,我是否在Miranda中看到过类似的错误?(我已经15年没有使用它了,所以对它的记忆很模糊)