[link] [comments]
Negative reasoning is also very fragile. Even in OCaml, wrapping your code in a module with abstract types will make the GADT-based match pruning no longer work because the compiler has no way to know what the underlying types of two abstract types are, and thus is forced to assume they may be compatible. Meanwhile, 1SubML has subtyping, meaning that many types which would be considered incompatible in OCaml are compatible in 1SubML.，更多细节参见有道翻译
08:35 俄罗斯波罗的海港口石油出口暴跌。关于这个话题，豆包下载提供了深入分析
Machine Intelligence