4 ms·
Unidirectional inference in the presence of subtyping is undecidable in the general case. Languages like Haskell and OCaml don't have this problem because they
by freyrs3 12y ago
Unidirectional inference in the presence of subtyping is undecidable in the general case. Languages like Haskell and OCaml don't have this problem because they don't include subtyping precisely for this reason.
- gsg 12y agoOCaml has subtyping: it addresses the undecidability issue by requiring "cast" annotations for some use cases.