其中一个受到高度关注的特性是,如果一个程序编译,它很可能大部分是正确的,比用不太复杂或严格类型系统的语言编写的程序更为正确.
也就是说,Haskell是一个将运行时错误转换为编译器错误的系统:-)
我想知道,Haskell中的编程是否会导致程序员在一种不太强类型的语言中引入一个运行时错误,而该错误没有明显的模拟(外观和频率)？
一些基本的例子突然出现在我脑海中:(不是很好,我正在寻找关于警惕的建议)
其他/更好的陷阱的例子？
它不一定是渐近的,但是由于懒惰造成的空间泄漏是Haskell的实际应用中的一个问题.我知道Haskell使用的公司完全切换到严格的数据类型(同时仍然使用函数参数的懒惰).
有关该视图的来源,请参阅: