编译器或库中更"本机"的部分(IO或能够访问黑魔法和实现的函数)是否对这些定律做出假设？打破它们会导致不可能发生的事吗？
或者他们只是表达一种编程模式 - 也就是说,你唯一能够惹恼他们的人就是那些使用你的代码并且不希望你如此粗心的人？
compiler-construction monads haskell semantics
compiler-construction ×1
haskell ×1
monads ×1
semantics ×1