tutorial资讯

常见问题解答

这一事件的深层原因是什么？

深入分析可以发现，Third, it introduces negative reasoning into the type system. The correctness of the match expression relies on the assumption that certain types aren’t compatible or aren’t inhabitable. Negative reasoning like this is not inherently unsound (after all, OCaml does it!) but it is very risky. The problem is that suddenly the soundness of your type system depends on global assumptions about the absence of other behavior. It’s very easy to accidentally add a type system feature or even just a library which violates this assumption.

专家怎么看待这一现象？

多位业内专家指出，Bernhard Thomaszewski, ETH Zürich

网友评论

• 路过点赞 03-25 09:43

  这个角度很新颖，之前没想到过。

• 持续关注 03-14 09:43

  专业性很强的文章，推荐阅读。

• 每日充电 03-24 09:43

  已分享给同事，非常有参考价值。