1
我想仔細看看OCaml中的類型推斷的實現，我的OCaml似乎安裝在/usr/local/lib/ocaml裏面，但沒有.ml裏面好像包含了一段代碼類型推理。 。類型推斷OCaml的源碼
任何人都可以幫忙嗎？
A
回答
相關問題
- 1. Ocaml不正確的類型推斷
- 2. OCaml中的類型推理
- 3. ocaml的推斷int類型列表，而不是 '一個列表
- 4. ocaml類型推斷中的匿名變量
- 5. 推斷類型泛型類
- 6. OCaml在這種情況下如何推斷類型？
- 7. Scala推斷的類型參數 - 類型範圍推斷爲'Nothing'
- 8. F＃類型推斷
- 9. 偏類型推斷
- 10. 「VAR」 類型推斷
- 11. 類型推斷 - 無法推斷Monad
- 12. 這段代碼如何推斷類型？
- 13. 泛型和類型推斷
- 14. Java泛型 - 類型推斷
- 15. ArrayList的類型推斷
- 16. 推斷的類型參數
- 17. SML中的類型推斷
- 18. 推斷類型的別名
- 19. ocaml的類型
- 20. Java的泛型類型的推斷
- 21. 的Java/Groovy的泛型類型推斷
- 22. 類型推斷和目標類型
- 23. 推斷的泛型類型和JDK7中的反向代碼
- 24. Scala的類型推斷未能推斷類型的通用功能
- 25. java通用類型推斷
- 26. 更親切類型推斷
- 27. mxnet未能推斷類型
- 28. Haskell不能推斷類型？
- 29. 無法推斷類型
- 30. 推斷屬性類型keyof
然後推理部分在'otherlibs/labltk/browser/typecheck.ml'中？它看起來不像...... – SoftTimur
不，這只是一塊ocamlbrowser，我相信。類型檢查似乎在名爲'typing'的目錄中。 「typing/typecore.ml」文件表示它爲核心語言進行類型檢查。這可能是一個開始尋找的好地方。 –