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