3 ms·
OCaml has subtyping: it addresses the undecidability issue by requiring "cast" annotations for some use cases.
by gsg 12y ago
OCaml has subtyping: it addresses the undecidability issue by requiring "cast" annotations for some use cases.
loading thread…