Type inference in the source of OCaml

StackOverflow https://stackoverflow.com/questions/13612247

  •  03-12-2021
  •  | 
  •  

题

I would like to take a close look at the implementation of type inference in OCaml, my OCaml seems be installed in /usr/local/lib/ocaml, but no .ml inside seems include the piece of code for type inference...

Could anyone help?

有帮助吗？

解决方案

I suspect you have a binary release of OCaml. You need the sources. You can get the sources from this page: OCaml 4.00.1 Release

其他提示

Aside from looking at the source code, you might find this paper useful.

许可以下： CC-BY-SA 和 归因
不隶属于 StackOverflow
scroll top