1
OCaml에서 타입 추론의 구현을 자세히보고 싶습니다. OCaml은 /usr/local/lib/ocaml에 설치되어있는 것으로 보이지만, .ml은 타입 추론을위한 코드 조각을 포함하지 않습니다. .OCaml 소스에서 타입 추론
아무도 도와 줄 수 있습니까?
A
답변
2
OCaml의 이진 릴리스가있는 것으로 의심됩니다. 소스가 필요합니다. 이 페이지에서 소스를 구할 수 있습니다. OCaml 4.00.1 Release
2
소스 코드를 보는 것 외에도 this paper이 유용 할 수 있습니다.
그럼 추론 부분은'otherlibs/labltk/browser/typecheck.ml'에 있습니까? 그것은 마치 ... – SoftTimur
아니, 그저 ocamlbrowser의 조각, 나는 믿어. 형식 검사는'typing '이라는 디렉토리에있는 것으로 보입니다. 'typing/typecore.ml' 파일은 핵심 언어에 대한 유형 검사를 수행한다고 말합니다. 그것은 시작하기에 좋은 장소 일 것입니다. –