看一些 Type Inference 的论文感觉吃力，需要补哪些知识？

OCaml 语言能做些什么？

如何理解linear logic？

为什么有些程序语言的类型推断可以推断函数参数，有些不会，哪种更好？

类型推导是否可以理解为一种编译期计算？

C++、Julia 允许「泛型」的参数是数值，这属于 Dependent Type 吗？

柯里-霍华德(Curry-Howard)同构有什么意义？

GHC扩展-XRankNTypes是什么？如何理解forall .？

如何理解 dependent type？

Hindley-Milner 是什么，以及函数式编程中它的用途是什么？

如何系统的学习动态语言的类型推导，类型系统等知识？