atitit 编程语言选型知识点体系.docx 编程语言选型时，你需要考虑的几个方面 目录 1. 1.2. 类型系统 5 1 2. 1.5. 语言规范 25 1 3. 1.6. 编程范式 52

 atitit 编程语言选型知识点体系.docx

编程语言选型时，你需要考虑的几个方面

 

 

目录

1. 1.2. 类型系统 5 1

2. 1.5. 语言规范 25 1

3. 1.6. 编程范式 52 2

4. 1.7. 依赖管理 58 3

5. 1.8. 标准库 58 3

 

 

目录

1.1. 看完这篇文章能收获什么? 4

1. 2. 类型系统 5

1.2.1. 类型检查 6

1.2.2. Implicit type conversions 6

1.2.3. Pointers 7

1.2.4. Untagged unions 7

1.2.5. Weekly typed 7

1.2.6. 强类型和弱类型 8

1.2.7. 类型推断 9

1.3. 类型理论 9

1.3.1. Polymorphism type 9

1.3.2. Dependent types 15

1.4. Linear types 16

1.4.1. Intersection types 17

1.4.2. Union types 18

1.4.3. Existential types 20

1.4.4. Upper Bounded Wildcards 20

1.4.5. Lower Bounded Wildcards 22

1. 1.5. 语言规范 25

1.5.1. Types 25

1.5.2. Primitive types 25

1.5.3. Compound types 26

1.5.4. Statements 27

1.5.5. Empty statement 27

1.5.6. Labeled statement 28

1.5.7. Expression statement 30

1.5.8. If statement 30

1.5.9. Assert statement 30

1.5.10. Switch statement 30

1.5.11. While statement 32

1.5.12. Do statement 33

1.5.13. For statement 34

1.5.14. For-in statement 34

1.5.15. For-of statement 35

1.5.16. For-range statement 36

1.5.17. Break statement 37

1.5.18. Continue statement 38

1.5.19. Return statement 41

1.5.20. Throw statement 41

1.5.21. Goto statement 42

1.5.22. Operators 44

1.5.23. Unary operators 44

1.5.24. Binary operators 44

1.5.25. Ternary operators 45

1.5.26. Expressions 46

1.5.27. Variable expression 46

1.5.28. Arithmetic expression 46

1.5.29. Relational expression 46

1.5.30. Function expression 46

1.5.31. Index expression 46

1.5.32. Scoping 47

1.5.33. Expression scope 47

1.5.34. Block scope 47

1.5.35. Function scope 48

1.5.36. File scope 49

1.5.37. Module scope 49

1.5.38. Global scope 49

1.5.39. Packages 49

1. 1.6. 编程范式 52

1.6.1. IP(Imperative Programming) 52

1.6.2. SP(Structured Programming) 53

1.6.3. PP(Procedure Programming) 54

1.6.4. DP(Declarative Programming) 55

1.6.5. LP(Logic Programming) 56

1.6.6. FP(Functional Programming) 56

1.6.7. FRP(Functional Reactive Programming) 57

1.6.8. MP(Meta Programming) 57

1. 1.7. 依赖管理 58
2. 1.8. 标准库 58

1.9. 选型参考 58