有没有人知道(或记住)破坏性的法律如何导致GHC出现问题？

Question

我问过一段时间,如果你破坏了monad法则,你会发生什么？我在一个关于安全运行不受信任的haskell代码的页面上偶然发现了Haskell Wiki上这个无法解释的短语:

"创建违反假设法律的类实例(参见EvilIx)"

作为对lambdabot可能的攻击的一个例子.

由于lambdabot大概使用GHC,这可能是GHC对类别法做出假设的一个错误(或特征).有谁记得那些是什么？并且这曾经(或者可能)偶然发生吗？

(谷歌搜索"haskell + Evillx"没有点击).

Answer 1

数组用于Ix管理边界。他们相信它的Ix作用正如其所言。如果没有，您可以欺骗数组机制来访问不属于它们的内存位置。