1 Nontechnical explanation · 2 Type-checking vs. type-inference · 3 Types in programming languages · 4 Technical description · 5 Example · 6 Hindley– ...
確定! 回上一頁